v_helpers.h

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