1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #include <stdbool.h>
3 
4 bool is_xtheadvector_supported(void);
5 
6 bool is_vector_supported(void);
7 
8 int launch_test(char *next_program, int test_inherit, int xtheadvector);
9