Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision 6c1f763345792a110b75308039d34e7caceeef1d)
+++ kernel/arch/ia32/include/interrupt.h	(revision 1f7cb3a9d87b214dbf470650b8d49d9df325db0d)
@@ -73,8 +73,4 @@
 	uint32_t ecx;
 	uint32_t edx;
-	uint32_t esi;
-	uint32_t edi;
-	uint32_t ebp;
-	uint32_t ebx;
 
 	uint32_t gs;
Index: kernel/arch/ia32/src/asm.S
===================================================================
--- kernel/arch/ia32/src/asm.S	(revision 6c1f763345792a110b75308039d34e7caceeef1d)
+++ kernel/arch/ia32/src/asm.S	(revision 1f7cb3a9d87b214dbf470650b8d49d9df325db0d)
@@ -269,12 +269,4 @@
 	pushl %gs
 
-#ifdef CONFIG_DEBUG_ALLREGS
-	pushl %ebx
-	pushl %ebp
-	pushl %edi
-	pushl %esi
-#else
-	subl $16, %esp
-#endif
 	pushl %edx
 	pushl %ecx
@@ -298,12 +290,4 @@
 	popl %ecx
 	popl %edx
-#ifdef CONFIG_DEBUG_ALLREGS
-	popl %esi
-	popl %edi
-	popl %ebp
-	popl %ebx
-#else
-	addl $16, %esp
-#endif	
 	
 	popl %gs
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 6c1f763345792a110b75308039d34e7caceeef1d)
+++ kernel/arch/ia32/src/interrupt.c	(revision 1f7cb3a9d87b214dbf470650b8d49d9df325db0d)
@@ -78,7 +78,4 @@
 	printf("%%cs=%#lx,flags=%#lx\n", istate->cs, istate->eflags);
 	printf("%%eax=%#lx, %%ecx=%#lx, %%edx=%#lx, %%esp=%p\n", istate->eax, istate->ecx, istate->edx, &istate->stack[0]);
-#ifdef CONFIG_DEBUG_ALLREGS
-	printf("%%esi=%#lx, %%edi=%#lx, %%ebp=%#lx, %%ebx=%#lx\n", istate->esi, istate->edi, istate->ebp, istate->ebx);
-#endif
 	printf("stack: %#lx, %#lx, %#lx, %#lx\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
 	printf("       %#lx, %#lx, %#lx, %#lx\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);