1*0f10d9aeSAaron Lewis #include "libcflat.h" 2*0f10d9aeSAaron Lewis #include "processor.h" 3*0f10d9aeSAaron Lewis #include "x86/vm.h" 4*0f10d9aeSAaron Lewis #include "access.h" 5*0f10d9aeSAaron Lewis 6*0f10d9aeSAaron Lewis int main(void) 7*0f10d9aeSAaron Lewis { 8*0f10d9aeSAaron Lewis int r; 9*0f10d9aeSAaron Lewis 10*0f10d9aeSAaron Lewis printf("starting test\n\n"); 11*0f10d9aeSAaron Lewis page_table_levels = 4; 12*0f10d9aeSAaron Lewis r = ac_test_run(); 13*0f10d9aeSAaron Lewis 14*0f10d9aeSAaron Lewis if (this_cpu_has(X86_FEATURE_LA57)) { 15*0f10d9aeSAaron Lewis page_table_levels = 5; 16*0f10d9aeSAaron Lewis printf("starting 5-level paging test.\n\n"); 17*0f10d9aeSAaron Lewis setup_5level_page_table(); 18*0f10d9aeSAaron Lewis r = ac_test_run(); 19*0f10d9aeSAaron Lewis } 20*0f10d9aeSAaron Lewis 21*0f10d9aeSAaron Lewis return r ? 0 : 1; 22*0f10d9aeSAaron Lewis } 23