Searched refs:machine_sbdf (Results 1 – 2 of 2) sorted by relevance
429 vki_uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member
809 __PRE_XEN_DOMCTL_READ(test_assign_device, assign_device, machine_sbdf); in PRE()812 __PRE_XEN_DOMCTL_READ(assign_device, assign_device, machine_sbdf); in PRE()815 __PRE_XEN_DOMCTL_READ(deassign_device, assign_device, machine_sbdf); in PRE()