1 # SPDX-License-Identifier: GPL-2.0-only
4 /x86_64/cr4_cpuid_sync_test
7 /x86_64/mmio_warning_test
8 /x86_64/platform_info_test
12 /x86_64/sync_regs_test
13 /x86_64/vmx_close_while_nested_test
14 /x86_64/vmx_dirty_log_test
15 /x86_64/vmx_set_nested_state_test
16 /x86_64/vmx_tsc_adjust_test