Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision 53f98219259f3ae305745185632cbe185fb7c871)
+++ arch/ia32/src/interrupt.c	(revision 50de918ee03e2d69dce7bc2641ba60d65d2fcbf7)
@@ -62,13 +62,13 @@
 		printf("----------------EXCEPTION OCCURED----------------\n");
 		
-	printf("%%eip: %X (%s)\n",istate->eip,symbol);
-	printf("ERROR_WORD=%X\n", istate->error_word);
-	printf("%%cs=%X,flags=%X\n", istate->cs, istate->eflags);
-	printf("%%eax=%X, %%ecx=%X, %%edx=%X, %%esp=%X\n",  istate->eax,istate->ecx,istate->edx,&istate->stack[0]);
+	printf("%%eip: %#X (%s)\n",istate->eip,symbol);
+	printf("ERROR_WORD=%#X\n", istate->error_word);
+	printf("%%cs=%#X,flags=%#X\n", istate->cs, istate->eflags);
+	printf("%%eax=%#X, %%ecx=%#X, %%edx=%#X, %%esp=%#X\n",  istate->eax,istate->ecx,istate->edx,&istate->stack[0]);
 #ifdef CONFIG_DEBUG_ALLREGS
-	printf("%%esi=%X, %%edi=%X, %%ebp=%X, %%ebx=%X\n",  istate->esi,istate->edi,istate->ebp,istate->ebx);
+	printf("%%esi=%#X, %%edi=%#X, %%ebp=%#X, %%ebx=%#X\n",  istate->esi,istate->edi,istate->ebp,istate->ebx);
 #endif
-	printf("stack: %X, %X, %X, %X\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
-	printf("       %X, %X, %X, %X\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);
+	printf("stack: %#X, %#X, %#X, %#X\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
+	printf("       %#X, %#X, %#X, %#X\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);
 }
 
@@ -101,5 +101,5 @@
 		:"=m"(mxcsr)
 	);
-	printf("MXCSR: %X\n",(__native)(mxcsr));
+	printf("MXCSR: %#zX\n",(__native)(mxcsr));
 	panic("SIMD FP exception(19)\n");
 }
@@ -121,5 +121,5 @@
 	if (!as_page_fault(page)) {
 		PRINT_INFO_ERRCODE(istate);
-		printf("page fault address: %X\n", page);
+		printf("page fault address: %#X\n", page);
 		panic("page fault\n");
 	}