Index: kernel/arch/sparc64/src/mm/sun4u/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/tlb.c	(revision 346b12a2767bb66df8633e469fd871fea8c43b5c)
+++ kernel/arch/sparc64/src/mm/sun4u/tlb.c	(revision 6eda732ba8d96df367a3cabf0837e6ef849f6568)
@@ -201,4 +201,6 @@
 	bool found = page_mapping_find(AS, istate->tpc, true, &t);
 	if (found && PTE_EXECUTABLE(&t)) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in the software page hash table.
@@ -256,4 +258,6 @@
 	bool found = page_mapping_find(as, page_16k, true, &t);
 	if (found) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in the software page hash table.
@@ -297,4 +301,6 @@
 	bool found = page_mapping_find(as, page_16k, true, &t);
 	if (found && PTE_WRITABLE(&t)) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in the software page hash table and is
Index: kernel/arch/sparc64/src/mm/sun4v/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 346b12a2767bb66df8633e469fd871fea8c43b5c)
+++ kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 6eda732ba8d96df367a3cabf0837e6ef849f6568)
@@ -215,4 +215,6 @@
 	bool found = page_mapping_find(AS, va, true, &t);
 	if (found && PTE_EXECUTABLE(&t)) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in the software page hash table.
@@ -263,4 +265,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.
@@ -299,4 +303,6 @@
 	bool found = page_mapping_find(as, va, true, &t);
 	if (found && PTE_WRITABLE(&t)) {
+		ASSERT(t.p);
+
 		/*
 		 * The mapping was found in the software page hash table and is