Searched refs:BIOSImage (Results 1 – 3 of 3) sorted by relevance
77 return vga_info->BIOSImage + flat - 0xc0000; in bios_ptr()380 u8 *BIOSImage; in PCI_mapBIOSImage() local415 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()458 void PCI_unmapBIOSImage(pci_dev_t pcidev, void *BIOSImage) in PCI_unmapBIOSImage() argument534 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()[all …]
139 _BE_env.vgaInfo.BIOSImage = info->BIOSImage; in BE_setVGA()140 if (info->BIOSImage) { in BE_setVGA()141 _BE_env.biosmem_base = (ulong) info->BIOSImage; in BE_setVGA()171 info->BIOSImage = _BE_env.vgaInfo.BIOSImage; in BE_getVGA()
38 void *BIOSImage; member