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 b1956e379e62b427bc1ee130d2d755579cd92ebd)
@@ -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)