Searched defs:machine_sbdf (Results 1 – 3 of 3) sorted by relevance
1564 uint32_t machine_sbdf, in xc_assign_device()1581 uint32_t machine_sbdf, in xc_get_device_group()1616 uint32_t machine_sbdf) in xc_test_assign_device()1632 uint32_t machine_sbdf) in xc_deassign_device()
1570 uint32_t machine_sbdf; in iommu_do_pci_domctl() local
498 uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member510 uint32_t machine_sbdf; /* IN */ member
Completed in 19 milliseconds