Searched refs:BIOSImage (Results 1 – 3 of 3) sorted by relevance
80 return vga_info->BIOSImage + flat - 0xc0000; in bios_ptr()382 u8 *BIOSImage; in PCI_mapBIOSImage() local417 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()460 void PCI_unmapBIOSImage(pci_dev_t pcidev, void *BIOSImage) in PCI_unmapBIOSImage() argument536 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()[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
Completed in 5 milliseconds