| 12345678910 |
- /* SPDX-License-Identifier: GPL-2.0-only */
- #include <stdbool.h>
- bool is_xtheadvector_supported(void);
- bool is_vector_supported(void);
- unsigned long get_vr_len(void);
- int launch_test(char *next_program, int test_inherit, int xtheadvector);
|
