|
@@ -199,10 +199,9 @@ enum page_cache_mode {
|
|
|
|
|
|
#define _PAGE_ENC (_AT(pteval_t, sme_me_mask))
|
|
#define _PAGE_ENC (_AT(pteval_t, sme_me_mask))
|
|
|
|
|
|
-#define _PAGE_TABLE (_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | \
|
|
|
|
- _PAGE_ACCESSED | _PAGE_DIRTY | _PAGE_ENC)
|
|
|
|
#define _KERNPG_TABLE (_PAGE_PRESENT | _PAGE_RW | _PAGE_ACCESSED | \
|
|
#define _KERNPG_TABLE (_PAGE_PRESENT | _PAGE_RW | _PAGE_ACCESSED | \
|
|
_PAGE_DIRTY | _PAGE_ENC)
|
|
_PAGE_DIRTY | _PAGE_ENC)
|
|
|
|
+#define _PAGE_TABLE (_KERNPG_TABLE | _PAGE_USER)
|
|
|
|
|
|
#define __PAGE_KERNEL_ENC (__PAGE_KERNEL | _PAGE_ENC)
|
|
#define __PAGE_KERNEL_ENC (__PAGE_KERNEL | _PAGE_ENC)
|
|
#define __PAGE_KERNEL_ENC_WP (__PAGE_KERNEL_WP | _PAGE_ENC)
|
|
#define __PAGE_KERNEL_ENC_WP (__PAGE_KERNEL_WP | _PAGE_ENC)
|