Searched defs:vki_xen_domctl_assign_device (Results 1 – 1 of 1) sorted by relevance
428 struct vki_xen_domctl_assign_device { struct429 vki_uint32_t machine_sbdf; /* machine PCI ID of assigned device */