Lets us know what set of page tables were in use when the error occurred. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com> |
||
---|---|---|
.. | ||
core | ||
include | ||
CMakeLists.txt | ||
gen_gdt.py | ||
gen_idt.py | ||
gen_mmu_x86.py | ||
ia32.cmake | ||
Kconfig | ||
x64.cmake |
Lets us know what set of page tables were in use when the error occurred. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com> |
||
---|---|---|
.. | ||
core | ||
include | ||
CMakeLists.txt | ||
gen_gdt.py | ||
gen_idt.py | ||
gen_mmu_x86.py | ||
ia32.cmake | ||
Kconfig | ||
x64.cmake |