Index: kernel/arch/amd64/include/arch/mm/page.h
===================================================================
--- kernel/arch/amd64/include/arch/mm/page.h	(revision b67ce1ff250eabb833d2fa9ed4ac8963bcc2f342)
+++ kernel/arch/amd64/include/arch/mm/page.h	(revision 0161d16f488812ac5f568c902b2f0e67ad2c8486)
@@ -94,15 +94,15 @@
 #define GET_PTL1_ADDRESS_ARCH(ptl0, i) \
 	((pte_t *) ((((uint64_t) ((pte_t *) (ptl0))[(i)].addr_12_31) << 12) | \
-	    (((uint64_t) ((pte_t *) (ptl0))[(i)].addr_32_51) << 32)))
+	    (((uint64_t) ((pte_t *) (ptl0))[(i)].addr_32_62) << 32)))
 #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
 	((pte_t *) ((((uint64_t) ((pte_t *) (ptl1))[(i)].addr_12_31) << 12) | \
-	    (((uint64_t) ((pte_t *) (ptl1))[(i)].addr_32_51) << 32)))
+	    (((uint64_t) ((pte_t *) (ptl1))[(i)].addr_32_62) << 32)))
 #define GET_PTL3_ADDRESS_ARCH(ptl2, i) \
 	((pte_t *) ((((uint64_t) ((pte_t *) (ptl2))[(i)].addr_12_31) << 12) | \
-	    (((uint64_t) ((pte_t *) (ptl2))[(i)].addr_32_51) << 32)))
+	    (((uint64_t) ((pte_t *) (ptl2))[(i)].addr_32_62) << 32)))
 #define GET_FRAME_ADDRESS_ARCH(ptl3, i) \
 	((uintptr_t *) \
 	    ((((uint64_t) ((pte_t *) (ptl3))[(i)].addr_12_31) << 12) | \
-	    (((uint64_t) ((pte_t *) (ptl3))[(i)].addr_32_51) << 32)))
+	    (((uint64_t) ((pte_t *) (ptl3))[(i)].addr_32_62) << 32)))
 
 /* Set PTE address accessors for each level. */
@@ -155,5 +155,5 @@
 #define PTE_GET_FRAME_ARCH(p) \
 	((((uintptr_t) (p)->addr_12_31) << 12) | \
-	    ((uintptr_t) (p)->addr_32_51 << 32))
+	    ((uintptr_t) (p)->addr_32_62 << 32))
 #define PTE_WRITABLE_ARCH(p) \
 	((p)->writeable != 0)
@@ -202,6 +202,6 @@
 	unsigned int soft_valid : 1;  /**< Valid content even if present bit is cleared. */
 	unsigned int avl : 2;
-	unsigned int addr_12_31 : 30;
-	unsigned int addr_32_51 : 21;
+	unsigned int addr_12_31 : 20;
+	unsigned int addr_32_62 : 31;
 	unsigned int no_execute : 1;
 } __attribute__((packed)) pte_t;
@@ -225,5 +225,5 @@
 
 	p->addr_12_31 = (a >> 12) & UINT32_C(0xfffff);
-	p->addr_32_51 = a >> 32;
+	p->addr_32_62 = a >> 32;
 }