1# SPDX-License-Identifier: GPL-2.0-only
2*_32
3*_64
4single_step_syscall
5sysret_ss_attrs
6syscall_nt
7ptrace_syscall
8test_mremap_vdso
9check_initial_reg_state
10sigreturn
11ldt_gdt
12iopl
13mpx-mini-test
14ioperm
15test_vdso
16