Searched refs:machine_sbdf (Results 1 – 4 of 4) sorted by relevance
1570 uint32_t machine_sbdf; in iommu_do_pci_domctl() local1585 seg = domctl->u.get_device_group.machine_sbdf >> 16; in iommu_do_pci_domctl()1630 machine_sbdf = domctl->u.assign_device.u.pci.machine_sbdf; in iommu_do_pci_domctl()1632 ret = xsm_assign_device(XSM_HOOK, d, machine_sbdf); in iommu_do_pci_domctl()1636 seg = machine_sbdf >> 16; in iommu_do_pci_domctl()1637 bus = PCI_BUS(machine_sbdf); in iommu_do_pci_domctl()1638 devfn = PCI_DEVFN2(machine_sbdf); in iommu_do_pci_domctl()1681 machine_sbdf = domctl->u.assign_device.u.pci.machine_sbdf; in iommu_do_pci_domctl()1687 seg = machine_sbdf >> 16; in iommu_do_pci_domctl()1688 bus = PCI_BUS(machine_sbdf); in iommu_do_pci_domctl()[all …]
1564 uint32_t machine_sbdf, in xc_assign_device() argument1572 domctl.u.assign_device.u.pci.machine_sbdf = machine_sbdf; in xc_assign_device()1581 uint32_t machine_sbdf, in xc_get_device_group() argument1599 domctl.u.get_device_group.machine_sbdf = machine_sbdf; in xc_get_device_group()1616 uint32_t machine_sbdf) in xc_test_assign_device() argument1623 domctl.u.assign_device.u.pci.machine_sbdf = machine_sbdf; in xc_test_assign_device()1632 uint32_t machine_sbdf) in xc_deassign_device() argument1639 domctl.u.assign_device.u.pci.machine_sbdf = machine_sbdf; in xc_deassign_device()
498 uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member510 uint32_t machine_sbdf; /* IN */ member
1715 uint32_t machine_sbdf,1720 uint32_t machine_sbdf,1727 uint32_t machine_sbdf);1731 uint32_t machine_sbdf);
Completed in 18 milliseconds