10f10d9aeSAaron Lewis #include "libcflat.h" 20f10d9aeSAaron Lewis #include "processor.h" 30f10d9aeSAaron Lewis #include "x86/vm.h" 40f10d9aeSAaron Lewis #include "access.h" 50f10d9aeSAaron Lewis 60f10d9aeSAaron Lewis int main(void) 70f10d9aeSAaron Lewis { 80f10d9aeSAaron Lewis int r; 90f10d9aeSAaron Lewis 100f10d9aeSAaron Lewis printf("starting test\n\n"); 11*22866f1eSAaron Lewis r = ac_test_run(PT_LEVEL_PML4); 120f10d9aeSAaron Lewis 130f10d9aeSAaron Lewis if (this_cpu_has(X86_FEATURE_LA57)) { 140f10d9aeSAaron Lewis printf("starting 5-level paging test.\n\n"); 150f10d9aeSAaron Lewis setup_5level_page_table(); 16*22866f1eSAaron Lewis r = ac_test_run(PT_LEVEL_PML5); 170f10d9aeSAaron Lewis } 180f10d9aeSAaron Lewis 190f10d9aeSAaron Lewis return r ? 0 : 1; 200f10d9aeSAaron Lewis } 21