8cfdd91d54
For some unknown reason, the pagetable address for _df_tss.cr3 did not get translated from virtual to physical. However, the translation is done if the pointer to pagetable is obtained through reference to the first array element (instead of simply through the name of array). Without CR3 pointing to the page table via physical address, double fault does not work. So fixing this by being explicit with the page table pointer. Signed-off-by: Daniel Leung <daniel.leung@intel.com> |
||
|---|---|---|
| .. | ||
| core | ||
| include | ||
| zefi | ||
| CMakeLists.txt | ||
| gen_gdt.py | ||
| gen_idt.py | ||
| gen_mmu.py | ||
| ia32.cmake | ||
| intel64.cmake | ||
| Kconfig | ||
| timing.c | ||