From 4addb73d99a371469833e76fed905fb39a69fa6e Mon Sep 17 00:00:00 2001
From: Peter Tattam <peter@tattsoft.com>
Date: Mon, 4 Nov 2002 05:38:12 +0000
Subject: [PATCH] External debugger patches.

Formatting problem in printf()
---
 bochs/cpu/paging.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bochs/cpu/paging.cc b/bochs/cpu/paging.cc
index 268b2c519..d78217168 100644
--- a/bochs/cpu/paging.cc
+++ b/bochs/cpu/paging.cc
@@ -1,5 +1,5 @@
 /////////////////////////////////////////////////////////////////////////
-// $Id: paging.cc,v 1.37 2002-11-04 05:27:25 ptrumpet Exp $
+// $Id: paging.cc,v 1.38 2002-11-04 05:38:12 ptrumpet Exp $
 /////////////////////////////////////////////////////////////////////////
 //
 //  Copyright (C) 2001  MandrakeSoft S.A.
@@ -980,7 +980,7 @@ page_fault_not_present:
 #if BX_SUPPORT_X86_64
   printf("page fault for address %08x%08x\n",(Bit32u)(laddr >> 32),(Bit32u)(laddr & 0xffffffff));
 #else
-  printf("page fault for address %08xx\n",(laddr >> 32));
+  printf("page fault for address %08x\n",laddr);
 #endif
 #endif
   exception(BX_PF_EXCEPTION, error_code, 0);