Home
last modified time | relevance | path

Searched defs:machine_sbdf (Results 1 – 3 of 3) sorted by relevance

/xen/tools/libxc/
A Dxc_domain.c1514 uint32_t machine_sbdf, in xc_assign_device()
1531 uint32_t machine_sbdf, in xc_get_device_group()
1566 uint32_t machine_sbdf) in xc_test_assign_device()
1582 uint32_t machine_sbdf) in xc_deassign_device()
/xen/xen/include/public/
A Ddomctl.h524 uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member
536 uint32_t machine_sbdf; /* IN */ member
/xen/xen/drivers/passthrough/
A Dpci.c1644 uint32_t machine_sbdf; in iommu_do_pci_domctl() local

Completed in 15 milliseconds