#include "libcflat.h" | |
#include "processor.h" | |
#include "x86/vm.h" | |
#include "access.h" | |
int main(int argc, const char *argv[]) | |
{ | |
bool force_emulation = argc >= 2 && !strcmp(argv[1], "force_emulation"); | |
printf("starting test\n\n"); | |
ac_test_run(PT_LEVEL_PML4, force_emulation); | |
#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(); | |
ac_test_run(PT_LEVEL_PML5, force_emulation); | |
} | |
#endif | |
return report_summary(); | |
} |