Lines Matching refs:BIOSImage
80 return vga_info->BIOSImage + flat - 0xc0000; in bios_ptr()
382 u8 *BIOSImage; in PCI_mapBIOSImage() local
417 BIOSImage = dm_pci_bus_to_virt(pcidev, BIOSImageBus, in PCI_mapBIOSImage()
424 BIOSImage = pci_bus_to_virt(pcidev, BIOSImageBus, in PCI_mapBIOSImage()
436 if (BIOSImage[0] != 0x55 || BIOSImage[1] != 0xAA || BIOSImage[2] == 0) { in PCI_mapBIOSImage()
440 return BIOSImage; in PCI_mapBIOSImage()
451 void PCI_unmapBIOSImage(struct udevice *pcidev, void *BIOSImage) in PCI_unmapBIOSImage() argument
460 void PCI_unmapBIOSImage(pci_dev_t pcidev, void *BIOSImage) in PCI_unmapBIOSImage() argument
536 vga_info->BIOSImage = copy_of_bios; in PCI_postController()
607 if (vga_info->BIOSImage && in biosemu_run()
608 (ulong)(vga_info->BIOSImage) != 0xc0000) in biosemu_run()
609 free(vga_info->BIOSImage); in biosemu_run()