Index: kernel/arch/abs32le/include/arch/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/page.h	(revision 9a08e6bddeb3cffb3e0438813da2a3084dcd33c5)
+++ kernel/arch/abs32le/include/arch/mm/page.h	(revision e503517a58f4f241592d4eb827ac9ad4bf6e057c)
@@ -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)