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