Log VGA BIOS name/size.

diff --git a/x86.cpp b/x86.cpp
index f13806667cd44b8bc652b96fb78849e8ac77dba1..7d0915fcccc546c10bdc01b239cb05d0eb737f74 100644 (file)
--- a/x86.cpp
+++ b/x86.cpp
@@ -3264,8 +3264,10 @@ static void load_vga_bios(void)
        x86_xrom_start[1] = 0xc0000;
        x86_xrom_end[1] = x86_xrom_start[1];
        if (zf) {
-               x86_xrom_end[1] += zfile_fread(xb->pc_rom + x86_xrom_start[1], 1, 65536, zf);
+               int size = zfile_fread(xb->pc_rom + x86_xrom_start[1], 1, 65536, zf);
+               write_log(_T("X86 VGA BIOS '%s' loaded, %08x %d bytes\n"), zfile_getname(zf), x86_xrom_start[1], size);
                zfile_fclose(zf);
+               x86_xrom_end[1] += size;
                x86_xrom_end[1] += 4095;
                x86_xrom_end[1] &= ~4095;
                memcpy(xb->pc_ram + x86_xrom_start[1], xb->pc_rom + x86_xrom_start[1], x86_xrom_end[1] - x86_xrom_start[1]);