Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 346b12a2767bb66df8633e469fd871fea8c43b5c)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision 6eda732ba8d96df367a3cabf0837e6ef849f6568)
@@ -492,4 +492,6 @@
 	bool found = page_mapping_find(AS, va, true, &t);
 	if (found) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in software page hash table.
@@ -603,4 +605,6 @@
 	bool found = page_mapping_find(as, va, true, &t);
 	if (found) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in the software page hash table.