1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2018, Linaro Limited
4  */
5 
6 #ifndef _OS_TEST_LIB_H_
7 #define _OS_TEST_LIB_H_
8 
9 #include <tee_api_types.h>
10 
11 int os_test_shlib_add(int a, int b);
12 void os_test_shlib_panic(void);
13 
14 #if defined(WITH_TLS_TESTS)
15 extern __thread int os_test_shlib_tls_a;
16 extern __thread int os_test_shlib_tls_b;
17 #endif
18 
19 TEE_Result os_test_shlib_cxx_ctor(void);
20 
21 #endif /* _OS_TEST_LIB_H_ */
22