cfe/pccons/vgainit.c

854     physaddr_t biosaddr;
878     biosaddr = cpu_isamap((vm_offset_t) romaddr,0);
880     biosaddr = (physaddr_t) romaddr;
887     if (!((phys_read8(biosaddr+PCIBIOS_ROMSIG_OFFSET+0) == PCIBIOS_ROMSIG1) &&
888 	  (phys_read8(biosaddr+PCIBIOS_ROMSIG_OFFSET+1) == PCIBIOS_ROMSIG2))) {
893     biossize = PCIBIOS_ROMSIZE(phys_read8(biosaddr+PCIBIOS_ROMSIZE_OFFSET));
937 	b = phys_read32(biosaddr+idx);
1144     physaddr_t biosaddr;
1166     biosaddr = cpu_isamap((vm_offset_t) romaddr,0);
1168     biosaddr = romaddr;
1175     xprintf("VGA BIOS is mapped to %08X\n",(uint32_t) biosaddr);
1177     if (!((phys_read8(biosaddr+PCIBIOS_ROMSIG_OFFSET+0) == PCIBIOS_ROMSIG1) &&
1178 	  (phys_read8(biosaddr+PCIBIOS_ROMSIG_OFFSET+1) == PCIBIOS_ROMSIG2))) {
1184 	biossize = PCIBIOS_ROMSIZE(phys_read8(biosaddr+PCIBIOS_ROMSIZE_OFFSET));
1191 	    xprintf("%02X ",phys_read8(biosaddr+idx+res));