240 	pci_dev_t bdf;  in PCI_doBIOSPOST()  local
250 	bdf = dm_pci_get_bdf(pcidev);  in PCI_doBIOSPOST()
251 	regs.x.ax = (int)PCI_BUS(bdf) << 8 |  in PCI_doBIOSPOST()
252 			(int)PCI_DEV(bdf) << 3 | (int)PCI_FUNC(bdf);  in PCI_doBIOSPOST()
490 	pci_dev_t bdf;  in PCI_postController()  local
520 	bdf = dm_pci_get_bdf(pcidev);  in PCI_postController()
521 	vga_info->function = PCI_FUNC(bdf);  in PCI_postController()
522 	vga_info->device = PCI_DEV(bdf);  in PCI_postController()
523 	vga_info->bus = PCI_BUS(bdf);  in PCI_postController()
554 	pci_dev_t bdf = dm_pci_get_bdf(pcidev);  in biosemu_setup()  local
557 	       PCI_BUS(bdf), PCI_FUNC(bdf), PCI_DEV(bdf));  in biosemu_setup()