|
|
@@ -268,8 +268,10 @@ static inline int is_module_addr(void *addr)
|
|
|
#define _REGION_ENTRY_BITS_LARGE 0xffffffff8000fe2fUL
|
|
|
|
|
|
/* Bits in the segment table entry */
|
|
|
-#define _SEGMENT_ENTRY_BITS 0xfffffffffffffe33UL
|
|
|
-#define _SEGMENT_ENTRY_BITS_LARGE 0xfffffffffff0ff33UL
|
|
|
+#define _SEGMENT_ENTRY_BITS 0xfffffffffffffe33UL
|
|
|
+#define _SEGMENT_ENTRY_BITS_LARGE 0xfffffffffff0ff33UL
|
|
|
+#define _SEGMENT_ENTRY_HARDWARE_BITS 0xfffffffffffffe30UL
|
|
|
+#define _SEGMENT_ENTRY_HARDWARE_BITS_LARGE 0xfffffffffff00730UL
|
|
|
#define _SEGMENT_ENTRY_ORIGIN_LARGE ~0xfffffUL /* large page address */
|
|
|
#define _SEGMENT_ENTRY_ORIGIN ~0x7ffUL/* page table origin */
|
|
|
#define _SEGMENT_ENTRY_PROTECT 0x200 /* segment protection bit */
|