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 unsigned long get_vr_len(void); 9 10 int launch_test(char *next_program, int test_inherit, int xtheadvector); 11