Lines Matching refs:bdf
242 pci_dev_t bdf; in PCI_doBIOSPOST() local
252 bdf = dm_pci_get_bdf(pcidev); in PCI_doBIOSPOST()
253 regs.x.ax = (int)PCI_BUS(bdf) << 8 | in PCI_doBIOSPOST()
254 (int)PCI_DEV(bdf) << 3 | (int)PCI_FUNC(bdf); in PCI_doBIOSPOST()
494 pci_dev_t bdf; in PCI_postController() local
524 bdf = dm_pci_get_bdf(pcidev); in PCI_postController()
525 vga_info->function = PCI_FUNC(bdf); in PCI_postController()
526 vga_info->device = PCI_DEV(bdf); in PCI_postController()
527 vga_info->bus = PCI_BUS(bdf); in PCI_postController()
558 pci_dev_t bdf = dm_pci_get_bdf(pcidev); in biosemu_setup() local
561 PCI_BUS(bdf), PCI_FUNC(bdf), PCI_DEV(bdf)); in biosemu_setup()