Changeset 73 for trunk/hal/x86_64/core/hal_types.h

Timestamp:

Jun 27, 2017, 11:03:16 AM (6 years ago)

Author:

max@…

Message:

now that the fields are stable, embed the VA base in XPTR

File:

• trunk/hal/x86_64/core/hal_types.h (modified) (2 diffs)

trunk/hal/x86_64/core/hal_types.h

@@ -196 +196 @@
 
 /* virtual */
+#define HAL_VA_BASE            0xffff800000000000ULL
 #define PTR_MASK               0x0000000FFFFFFFFFULL
 #define CXY_MASK               0x00000FF000000000ULL
@@ -201 +202 @@
 #define GET_CXY(xp)            ((cxy_t)(((xp) & CXY_MASK) >> PTR_SHIFT))
 #define GET_PTR(xp)            ((void*)((xp) & PTR_MASK))
-#define XPTR(cxy,ptr)          (((uint64_t)(cxy) << PTR_SHIFT) | (((uint64_t)(ptr)) & PTR_MASK))
+#define XPTR(cxy,ptr)          ((uint64_t)HAL_VA_BASE | \
+                                ((uint64_t)(cxy) << PTR_SHIFT) | \
+                                (((uint64_t)(ptr)) & PTR_MASK))
 
 /* physical */