blob: 025294da2258f42822747a21e8e0ff7674ff9c44 [file] [log] [blame]
#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();
}