76 		return vga_info->BIOSImage + flat - 0xc0000;  in bios_ptr()
376 	u8 *BIOSImage;  in PCI_mapBIOSImage()  local
411 	BIOSImage = dm_pci_bus_to_virt(pcidev, BIOSImageBus,  in PCI_mapBIOSImage()
418 	BIOSImage = pci_bus_to_virt(pcidev, BIOSImageBus,  in PCI_mapBIOSImage()
430 	if (BIOSImage[0] != 0x55 || BIOSImage[1] != 0xAA || BIOSImage[2] == 0) {  in PCI_mapBIOSImage()
434 	return BIOSImage;  in PCI_mapBIOSImage()
445 void PCI_unmapBIOSImage(struct udevice *pcidev, void *BIOSImage)  in PCI_unmapBIOSImage()  argument
454 void PCI_unmapBIOSImage(pci_dev_t pcidev, void *BIOSImage)  in PCI_unmapBIOSImage()  argument
530 	vga_info->BIOSImage = copy_of_bios;  in PCI_postController()
601 		if (vga_info->BIOSImage &&  in biosemu_run()
602 		    (ulong)(vga_info->BIOSImage) != 0xc0000)  in biosemu_run()
603 			free(vga_info->BIOSImage);  in biosemu_run()