Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 180e132e384843a8eabdd40e2084dcb37e1e2542)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision 5acf533f5ecb8a32938f2f277f8c704de0c8dce2)
@@ -464,7 +464,10 @@
 }
 
-static bool is_kernel_fault(uintptr_t va)
+static bool is_kernel_fault(istate_t *istate, uintptr_t va)
 {
 	region_register_t rr;
+
+	if (istate_from_uspace(istate))
+		return false;
 
 	rr.word = rr_read(VA2VRN(va));
@@ -587,5 +590,5 @@
 	as_t *as = AS;
 
-	if (is_kernel_fault(va)) {
+	if (is_kernel_fault(istate, va)) {
 		if (va < end_of_identity) {
 			/*
@@ -648,5 +651,5 @@
 	va = istate->cr_ifa;  /* faulting address */
 
-	if (is_kernel_fault(va))
+	if (is_kernel_fault(istate, va))
 		as = AS_KERNEL;
 
@@ -716,5 +719,5 @@
 	va = istate->cr_ifa;  /* faulting address */
 
-	if (is_kernel_fault(va))
+	if (is_kernel_fault(istate, va))
 		as = AS_KERNEL;