Index: kernel/arch/amd64/include/arch/mm/page.h
===================================================================
--- kernel/arch/amd64/include/arch/mm/page.h	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
+++ kernel/arch/amd64/include/arch/mm/page.h	(revision 2c2d54a73f8d98a509aa5049bb9ef840b9bb186c)
@@ -151,5 +151,5 @@
 /* Macros for querying the last-level PTE entries. */
 #define PTE_VALID_ARCH(p) \
-	(*((uint64_t *) (p)) != 0)
+	((p)->soft_valid != 0)
 #define PTE_PRESENT_ARCH(p) \
 	((p)->present != 0)