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