cleaned cr2 print in 32-bit mode

This commit is contained in:
Stanislav Shwartsman 2017-08-22 21:14:39 +00:00
parent 2a55ba0a39
commit 2d3d62db5f

View File

@ -241,8 +241,8 @@ void BX_CPU_C::debug(bx_address offset)
(unsigned) BX_CPU_THIS_PTR cr0.get32(),
(unsigned) BX_CPU_THIS_PTR cr2, (unsigned) BX_CPU_THIS_PTR cr3));
#else
BX_INFO(("| CR0=0x%08x CR2=0x" FMT_ADDRX64,
BX_CPU_THIS_PTR cr0.get32(), BX_CPU_THIS_PTR cr2));
BX_INFO(("| CR0=0x%08x CR2=0x%08x",
BX_CPU_THIS_PTR cr0.get32(), (unsigned) BX_CPU_THIS_PTR cr2));
BX_INFO(("| CR3=0x%08x CR4=0x%08x",
(unsigned) BX_CPU_THIS_PTR cr3,
(unsigned) BX_CPU_THIS_PTR cr4.get32()));