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