SOURCES: v86d-gcc4.patch (NEW) - fix printf formatters for 64-bits.

[pluto]

Author: pluto                        Date: Thu Sep 18 18:37:03 2008 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- fix printf formatters for 64-bits.

---- Files affected:
SOURCES:
   v86d-gcc4.patch (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/v86d-gcc4.patch
diff -u /dev/null SOURCES/v86d-gcc4.patch:1.1
--- /dev/null	Thu Sep 18 20:37:04 2008
+++ SOURCES/v86d-gcc4.patch	Thu Sep 18 20:36:57 2008
@@ -0,0 +1,16 @@
+--- v86d-0.1.7/v86_common.c~	2008-09-14 12:07:42.000000000 +0200
++++ v86d-0.1.7/v86_common.c	2008-09-18 12:17:33.000000000 +0200
+@@ -26,10 +26,10 @@
+ {
+ 	u32 lbuf = 0;
+ 
+-	ulog(LOG_DEBUG, "task flags: 0x%.2lx\n", tsk->flags);
+-	ulog(LOG_DEBUG, "EAX=%.8lx EBX=%.8lx ECX=%.8lx EDX=%.8lx\n",
++	ulog(LOG_DEBUG, "task flags: 0x%02x\n", tsk->flags);
++	ulog(LOG_DEBUG, "EAX=0x%08x EBX=0x%08x ECX=0x%08x EDX=0x%08x\n",
+ 		 tsk->regs.eax, tsk->regs.ebx, tsk->regs.ecx, tsk->regs.edx);
+-	ulog(LOG_DEBUG, "ESP=%.8lx EBP=%.8lx ESI=%.8lx EDI=%.8lx\n",
++	ulog(LOG_DEBUG, "ESP=0x%08x EBP=0x%08x ESI=0x%08x EDI=0x%08x\n",
+ 		 tsk->regs.esp, tsk->regs.ebp, tsk->regs.esi, tsk->regs.edi);
+ 
+ 	/* Get the VBE Info Block */
================================================================