Index: kernel/arch/abs32le/include/arch/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/page.h	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/abs32le/include/arch/mm/page.h	(revision 42d085927b86a7b4df96490eb9d3e6d0d6ca97eb)
@@ -115,5 +115,5 @@
 /* Macros for querying the last level entries. */
 #define PTE_VALID_ARCH(p) \
-	(*((uint32_t *) (p)) != 0)
+	((p)->soft_valid != 0)
 #define PTE_PRESENT_ARCH(p) \
 	((p)->present != 0)