1# SPDX-License-Identifier: GPL-2.0-only
2disable-tsc-ctxt-sw-stress-test
3disable-tsc-on-off-stress-test
4disable-tsc-test
5set-anon-vma-name-test
6