Changeset 224 for trunk/hal/x86_64/core/hal_boot.h

Timestamp:

Jul 18, 2017, 10:29:58 AM (7 years ago)

Author:

max@…

Message:

Create a (virtual) copy of the local cluster in 0xffffe00000000000, and
make GET_PTR() point to it. This way we can use pointers from GET_PTR()
directly, instead of reconstructing a XPTR with local_cxy.

File:

• trunk/hal/x86_64/core/hal_boot.h (modified) (1 diff)

trunk/hal/x86_64/core/hal_boot.h

@@ -144 +144 @@
         (CLUSTER_MIN_VA(n) + CLUSTER_VA_SIZE)
 
+/* Macros indicating the VA ranges for the local cluster*/
+#define LOCAL_CLUSTER_MIN_VA    HAL_VA_LOCAL_CLUSTER
+#define LOCAL_CLUSTER_MAX_VA    (LOCAL_CLUSTER_MIN_VA + CLUSTER_VA_SIZE)
+