Lines Matching refs:bdf
237 pci_dev_t bdf; in PCI_doBIOSPOST() local
245 bdf = dm_pci_get_bdf(pcidev); in PCI_doBIOSPOST()
246 regs.x.ax = (int)PCI_BUS(bdf) << 8 | in PCI_doBIOSPOST()
247 (int)PCI_DEV(bdf) << 3 | (int)PCI_FUNC(bdf); in PCI_doBIOSPOST()
423 pci_dev_t bdf; in PCI_postController() local
451 bdf = dm_pci_get_bdf(pcidev); in PCI_postController()
452 vga_info->function = PCI_FUNC(bdf); in PCI_postController()
453 vga_info->device = PCI_DEV(bdf); in PCI_postController()
454 vga_info->bus = PCI_BUS(bdf); in PCI_postController()
475 pci_dev_t bdf = dm_pci_get_bdf(pcidev); in biosemu_setup() local
478 PCI_BUS(bdf), PCI_FUNC(bdf), PCI_DEV(bdf)); in biosemu_setup()