Searched refs:machine_sbdf (Results 1 – 4 of 4) sorted by relevance
1644 uint32_t machine_sbdf; in iommu_do_pci_domctl() local1659 seg = domctl->u.get_device_group.machine_sbdf >> 16; in iommu_do_pci_domctl()1704 machine_sbdf = domctl->u.assign_device.u.pci.machine_sbdf; in iommu_do_pci_domctl()1706 ret = xsm_assign_device(XSM_HOOK, d, machine_sbdf); in iommu_do_pci_domctl()1710 seg = machine_sbdf >> 16; in iommu_do_pci_domctl()1711 bus = PCI_BUS(machine_sbdf); in iommu_do_pci_domctl()1712 devfn = PCI_DEVFN2(machine_sbdf); in iommu_do_pci_domctl()1750 machine_sbdf = domctl->u.assign_device.u.pci.machine_sbdf; in iommu_do_pci_domctl()1756 seg = machine_sbdf >> 16; in iommu_do_pci_domctl()1757 bus = PCI_BUS(machine_sbdf); in iommu_do_pci_domctl()[all …]
1514 uint32_t machine_sbdf, in xc_assign_device() argument1522 domctl.u.assign_device.u.pci.machine_sbdf = machine_sbdf; in xc_assign_device()1531 uint32_t machine_sbdf, in xc_get_device_group() argument1549 domctl.u.get_device_group.machine_sbdf = machine_sbdf; in xc_get_device_group()1566 uint32_t machine_sbdf) in xc_test_assign_device() argument1573 domctl.u.assign_device.u.pci.machine_sbdf = machine_sbdf; in xc_test_assign_device()1582 uint32_t machine_sbdf) in xc_deassign_device() argument1589 domctl.u.assign_device.u.pci.machine_sbdf = machine_sbdf; in xc_deassign_device()
524 uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member536 uint32_t machine_sbdf; /* IN */ member
1688 uint32_t machine_sbdf,1693 uint32_t machine_sbdf,1700 uint32_t machine_sbdf);1704 uint32_t machine_sbdf);
Completed in 19 milliseconds