Searched refs:PCI_BDF (Results 1 – 7 of 7) sorted by relevance
| /xen/xen/arch/x86/x86_64/ |
| A D | mmconfig_64.c | 152 start_mfn = PFN_DOWN(cfg->address) + PCI_BDF(cfg->start_bus_number, 0, 0); in pci_mmcfg_arch_enable()
153 end_mfn = PFN_DOWN(cfg->address) + PCI_BDF(cfg->end_bus_number, ~0, ~0); in pci_mmcfg_arch_enable()
187 mfn >= PFN_DOWN(cfg->address) + PCI_BDF(cfg->start_bus_number, in pci_mmcfg_decode()
189 mfn <= PFN_DOWN(cfg->address) + PCI_BDF(cfg->end_bus_number, in pci_mmcfg_decode()
|
| /xen/tools/libxl/ |
| A D | libxl_pci.c | 21 #define PCI_BDF "%04x:%02x:%02x.%01x" macro
233 sscanf(xsdev, PCI_BDF, &domain, &bus, &dev, &func); in libxl__device_pci_remove_xenstore()
397 buf = GCSPRINTF(PCI_BDF, pcidev->domain, pcidev->bus, in sysfs_write_bdf()
468 spath = GCSPRINTF(SYSFS_PCI_DEV"/"PCI_BDF"/driver", in sysfs_dev_unbind()
501 GCSPRINTF(SYSFS_PCI_DEV"/"PCI_BDF"/vendor", in sysfs_dev_get_vendor()
517 "cannot read vendor of pci device "PCI_BDF, in sysfs_dev_get_vendor()
528 GCSPRINTF(SYSFS_PCI_DEV"/"PCI_BDF"/device", in sysfs_dev_get_device()
544 "cannot read device of pci device "PCI_BDF, in sysfs_dev_get_device()
571 "cannot read class of pci device "PCI_BDF, in sysfs_dev_get_class()
667 spath = GCSPRINTF(SYSFS_PCIBACK_DRIVER"/"PCI_BDF, in pciback_dev_is_assigned()
[all …]
|
| /xen/xen/include/xen/ |
| A D | pci.h | 35 #define PCI_BDF(b,d,f) ((((b) & 0xff) << 8) | PCI_DEVFN(d,f)) macro
38 ((pci_sbdf_t){ .sbdf = (((s) & 0xffff) << 16) | PCI_BDF(b, d, f) })
|
| /xen/xen/drivers/passthrough/amd/ |
| A D | iommu_acpi.c | 685 ioapic_sbdf[idx].bdf = PCI_BDF(bus, dev, func); in parse_ivrs_ioapic()
712 hpet_sbdf.bdf = PCI_BDF(bus, dev, func); in parse_ivrs_hpet()
1084 ioapic_sbdf[idx].bdf == PCI_BDF(0, 0x14, 0) ) in parse_ivrs_table()
|
| /xen/xen/drivers/passthrough/vtd/ |
| A D | dmar.c | 423 scope->devices[didx++] = PCI_BDF(bus, path->dev, path->fn); in acpi_parse_dev_scope()
|
| /xen/xen/arch/x86/ |
| A D | msi.c | 710 vf -= PCI_BDF(bus, slot, func) + offset; in read_pci_mem_bar()
|
| /xen/xen/drivers/passthrough/ |
| A D | pci.c | 512 size_t sz = BITS_TO_LONGS(PCI_BDF(-1, -1, -1) + 1) * sizeof(long); in pci_ro_device()
|
Completed in 23 milliseconds