1 #include "libcflat.h" 2 #include "processor.h" 3 #include "x86/vm.h" 4 #include "access.h" 5 6 int main(void) 7 { 8 int r; 9 10 printf("starting test\n\n"); 11 r = ac_test_run(PT_LEVEL_PML4); 12 13 #ifndef CONFIG_EFI 14 /* 15 * Not supported yet for UEFI, because setting up 5 16 * level page table requires entering real mode. 17 */ 18 if (this_cpu_has(X86_FEATURE_LA57)) { 19 printf("starting 5-level paging test.\n\n"); 20 setup_5level_page_table(); 21 r = ac_test_run(PT_LEVEL_PML5); 22 } 23 #endif 24 25 return r ? 0 : 1; 26 } 27