/* SPDX-License-Identifier: BSD-2-Clause */
|
/*
|
* Copyright (c) 2018, Linaro Limited
|
*/
|
|
#ifndef _OS_TEST_LIB_H_
|
#define _OS_TEST_LIB_H_
|
|
#include <tee_api_types.h>
|
|
int os_test_shlib_add(int a, int b);
|
void os_test_shlib_panic(void);
|
|
#if defined(WITH_TLS_TESTS)
|
extern __thread int os_test_shlib_tls_a;
|
extern __thread int os_test_shlib_tls_b;
|
#endif
|
|
TEE_Result os_test_shlib_cxx_ctor(void);
|
|
#endif /* _OS_TEST_LIB_H_ */
|
