Index: kernel/arch/mips32/include/arch/mm/page.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/page.h	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/mips32/include/arch/mm/page.h	(revision 2c2d54a73f8d98a509aa5049bb9ef840b9bb186c)
@@ -137,9 +137,9 @@
 
 /* Last-level info macros. */
-#define PTE_VALID_ARCH(pte)			(*((uint32_t *) (pte)) != 0)
-#define PTE_PRESENT_ARCH(pte)			((pte)->p != 0)
-#define PTE_GET_FRAME_ARCH(pte)			((pte)->pfn << 12)
-#define PTE_WRITABLE_ARCH(pte)			((pte)->w != 0)
-#define PTE_EXECUTABLE_ARCH(pte)		1
+#define PTE_VALID_ARCH(pte)		((pte)->soft_valid != 0)
+#define PTE_PRESENT_ARCH(pte)		((pte)->p != 0)
+#define PTE_GET_FRAME_ARCH(pte)		((pte)->pfn << 12)
+#define PTE_WRITABLE_ARCH(pte)		((pte)->w != 0)
+#define PTE_EXECUTABLE_ARCH(pte)	1
 
 #ifndef __ASM__