1cc68765dSAndrew Jones/x86_64/cr4_cpuid_sync_test 2f15ac811SAnders Roxell/x86_64/evmcs_test 3cc68765dSAndrew Jones/x86_64/platform_info_test 4cc68765dSAndrew Jones/x86_64/set_sregs_test 5cc68765dSAndrew Jones/x86_64/sync_regs_test 6cc68765dSAndrew Jones/x86_64/vmx_tsc_adjust_test 7cc68765dSAndrew Jones/x86_64/state_test 8fff8dcd7SAndrew Jones/dirty_log_test 9