From 21b9526006ca4901db3a8aa71d2b81dcdb1856ff Mon Sep 17 00:00:00 2001 From: jkim Date: Thu, 24 Sep 2009 22:42:35 +0000 Subject: Dump real mode registers under bootverbose to help debugging BIOS emulator. --- sys/compat/x86bios/x86bios.c | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'sys/compat/x86bios') diff --git a/sys/compat/x86bios/x86bios.c b/sys/compat/x86bios/x86bios.c index e922ef4..9741b0c 100644 --- a/sys/compat/x86bios/x86bios.c +++ b/sys/compat/x86bios/x86bios.c @@ -97,6 +97,11 @@ x86bios_intr(struct x86regs *regs, int intno) if (intno < 0 || intno > 255) return; + if (bootverbose) + printf("Calling real mode int 0x%x " + "(ax=0x%04x bx=0x%04x cx=0x%04x dx=0x%04x)\n", + intno, regs->R_AX, regs->R_BX, regs->R_CX, regs->R_DX); + mtx_lock_spin(&x86bios_lock); memcpy(&x86bios_emu.x86, regs, sizeof(*regs)); @@ -104,6 +109,11 @@ x86bios_intr(struct x86regs *regs, int intno) memcpy(regs, &x86bios_emu.x86, sizeof(*regs)); mtx_unlock_spin(&x86bios_lock); + + if (bootverbose) + printf("Exiting real mode int 0x%x " + "(ax=0x%04x bx=0x%04x cx=0x%04x dx=0x%04x)\n", + intno, regs->R_AX, regs->R_BX, regs->R_CX, regs->R_DX); } void * -- cgit v1.1