summaryrefslogtreecommitdiff
path: root/src/include
diff options
context:
space:
mode:
Diffstat (limited to 'src/include')
-rw-r--r--src/include/cpu/x86/pae.h8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/include/cpu/x86/pae.h b/src/include/cpu/x86/pae.h
index 9b9f27b688..5bbfdf3aca 100644
--- a/src/include/cpu/x86/pae.h
+++ b/src/include/cpu/x86/pae.h
@@ -3,6 +3,14 @@
#include <stdint.h>
+/* Enable paging with cr3 value for page directory pointer table as well as PAE
+ option in cr4. */
+void paging_enable_pae_cr3(uintptr_t cr3);
+/* Enable paging as well as PAE option in cr4. */
+void paging_enable_pae(void);
+/* Disable paging as well as PAE option in cr4. */
+void paging_disable_pae(void);
+
/* Set/Clear NXE bit in IA32_EFER MSR */
void paging_set_nxe(int enable);