|
@@ -39,10 +39,6 @@
|
|
|
#define CR3_PCID_MASK 0xFFFull
|
|
|
#define CR3_NOFLUSH BIT_ULL(63)
|
|
|
|
|
|
-#ifdef CONFIG_PAGE_TABLE_ISOLATION
|
|
|
-# define X86_CR3_PTI_PCID_USER_BIT 11
|
|
|
-#endif
|
|
|
-
|
|
|
#else
|
|
|
/*
|
|
|
* CR3_ADDR_MASK needs at least bits 31:5 set on PAE systems, and we save
|
|
@@ -53,4 +49,8 @@
|
|
|
#define CR3_NOFLUSH 0
|
|
|
#endif
|
|
|
|
|
|
+#ifdef CONFIG_PAGE_TABLE_ISOLATION
|
|
|
+# define X86_CR3_PTI_PCID_USER_BIT 11
|
|
|
+#endif
|
|
|
+
|
|
|
#endif /* _ASM_X86_PROCESSOR_FLAGS_H */
|