cosmetic - extra console debugging for 64 bit mode.

This commit is contained in:
Peter Tattam 2003-02-26 02:37:08 +00:00
parent 4cc7139c3a
commit 0c39404940

View File

@ -1,5 +1,5 @@
/////////////////////////////////////////////////////////////////////////
// $Id: paging.cc,v 1.39 2003-02-13 15:04:07 sshwarts Exp $
// $Id: paging.cc,v 1.40 2003-02-26 02:37:08 ptrumpet Exp $
/////////////////////////////////////////////////////////////////////////
//
// Copyright (C) 2001 MandrakeSoft S.A.
@ -978,9 +978,12 @@ page_fault_not_present:
BX_CPU_THIS_PTR TLB.entry[TLB_index].lpf = BX_INVALID_TLB_ENTRY;
#if BX_EXTERNAL_DEBUGGER
#if BX_SUPPORT_X86_64
printf("page fault for address %08x%08x\n",(Bit32u)(laddr >> 32),(Bit32u)(laddr & 0xffffffff));
printf("page fault for address %08x%08x @ %08x%08x\n",
(Bit32u)(laddr >> 32),(Bit32u)(laddr & 0xffffffff),
(Bit32u)(RIP >> 32),(Bit32u)(RIP & 0xffffffff));
#else
printf("page fault for address %08x\n",laddr);
//printf("page fault for address %08x\n",laddr);
#endif
#endif
exception(BX_PF_EXCEPTION, error_code, 0);