Lines Matching refs:BIOSImage
77 return vga_info->BIOSImage + flat - 0xc0000; in bios_ptr()
380 u8 *BIOSImage; in PCI_mapBIOSImage() local
415 BIOSImage = dm_pci_bus_to_virt(pcidev, BIOSImageBus, in PCI_mapBIOSImage()
422 BIOSImage = pci_bus_to_virt(pcidev, BIOSImageBus, in PCI_mapBIOSImage()
434 if (BIOSImage[0] != 0x55 || BIOSImage[1] != 0xAA || BIOSImage[2] == 0) { in PCI_mapBIOSImage()
438 return BIOSImage; in PCI_mapBIOSImage()
449 void PCI_unmapBIOSImage(struct udevice *pcidev, void *BIOSImage) in PCI_unmapBIOSImage() argument
458 void PCI_unmapBIOSImage(pci_dev_t pcidev, void *BIOSImage) in PCI_unmapBIOSImage() argument
534 vga_info->BIOSImage = copy_of_bios; in PCI_postController()
605 if (vga_info->BIOSImage && in biosemu_run()
606 (ulong)(vga_info->BIOSImage) != 0xc0000) in biosemu_run()
607 free(vga_info->BIOSImage); in biosemu_run()