Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 1c88835bf782f9f912f952e76e7b8e27382af4f9)
+++ kernel/arch/amd64/src/interrupt.c	(revision f3504c1213f39d4c7cce79c5673a64b0e2d420ba)
@@ -135,5 +135,4 @@
 			return;
 		}
-		as_print(TASK->as);
 		fault_if_from_uspace(istate, "General protection fault.");
 	}