Changeset 38 for trunk/hal

Timestamp:

Jun 22, 2017, 3:09:26 PM (8 years ago)

Author:

max@…

Message:

Use 4GB of VA per cluster, and 8GB of PA.

File:

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

trunk/hal/x86_64/hal_types.h

@@ -162 +162 @@
  * - ptr : pointer in the virtual space of a single cluster.
  *
- * In Intel 64 bits, the kernel virtual space has 256 Tbytes per cluster
- * - the cxy field occupies bits[63:48]
- * - the ptr field occupies bits[47:0]
+ * In Intel 64 bits, the kernel virtual space has 4 Gbytes per cluster
+ * - the cxy field occupies bits[63:32]
+ * - the ptr field occupies bits[31:0]
  ***************************************************************************
  * A physical address is a 64 bits integer, structured in two fields :
@@ -170 +170 @@
  * - lpa : local physical address inside cluster.
  *
- * In Intel 64 bits, the physical space has 256 Gbytes per cluster.
- * - the cxy field occupies bits[63:48]
- * - the lpa field occupies bits[47:0]
- **************************************************************************/
-
-typedef uint64_t               reg_t;         // core register
+ * In Intel 64 bits, the physical space has 8 Gbytes per cluster.
+ * - the cxy field occupies bits[35:33]
+ * - the lpa field occupies bits[32:0]
+ **************************************************************************/
+
+typedef uint64_t               reg_t;          // core register
 
 typedef uint64_t               xptr_t;         // extended pointer
@@ -193 +193 @@
 #define XPTR_NULL              0
 
-#define PTR_MASK               0x0000FFFFFFFFFFFFULL
-
-#define GET_CXY(xp)            ((cxy_t)((xp) >> 48))
+#define PTR_MASK               0x00000000FFFFFFFFULL
+
+#define PTR_SHIFT              32
+
+#define GET_CXY(xp)            ((cxy_t)((xp) >> PTR_SHIFT))
 
 #define GET_PTR(xp)            ((void*)((xp) & PTR_MASK))
 
-#define XPTR(cxy,ptr)          (((uint64_t)(cxy) << 48) | (((uint64_t)(ptr)) & PTR_MASK))
-
-#define LPA_MASK               0X0000FFFFFFFFFFFFULL
-
-#define CXY_FROM_PADDR(paddr)  ((cxy_t)((paddr) >> 48)) 
+#define XPTR(cxy,ptr)          (((uint64_t)(cxy) << PTR_SHIFT) | (((uint64_t)(ptr)) & PTR_MASK))
+
+
+
+#define LPA_MASK               0x00000001FFFFFFFFULL
+
+#define LPA_SHIFT              33
+
+#define CXY_FROM_PADDR(paddr)  ((cxy_t)((paddr) >> LPA_SHIFT))
 
 #define LPA_FROM_PADDR(paddr)  (lpa_t)((paddr & LPA_MASK)
 
-#define PADDR(cxy,lad)         (((uint64_t)(cxy) << 48) | (((uint64_t)(ptr)) & LPA_MASK))
+#define PADDR(cxy,lad)         (((uint64_t)(cxy) << LPA_SHIFT) | (((uint64_t)(ptr)) & LPA_MASK))
 
 #endif  /* HAL_TYPES_H_ */