| #include "libcflat.h" | |
| #include "processor.h" | |
| #include "x86/vm.h" | |
| #include "access.h" | |
| int main(void) | |
| { | |
| int r; | |
| printf("starting test\n\n"); | |
| r = ac_test_run(PT_LEVEL_PML4); | |
| #ifndef CONFIG_EFI | |
| /* | |
| * Not supported yet for UEFI, because setting up 5 | |
| * level page table requires entering real mode. | |
| */ | |
| if (this_cpu_has(X86_FEATURE_LA57)) { | |
| printf("starting 5-level paging test.\n\n"); | |
| setup_5level_page_table(); | |
| r = ac_test_run(PT_LEVEL_PML5); | |
| } | |
| #endif | |
| return r ? 0 : 1; | |
| } |