// SPDX-License-Identifier: BSD-2-Clause
|
/*
|
* Copyright (c) 2018, Linaro Limited
|
*/
|
|
#include "os_test_lib.h"
|
#include <tee_internal_api.h>
|
#include <trace.h>
|
|
extern int os_test_global;
|
|
static void __attribute__((constructor)) os_test_shlib_init(void)
|
{
|
os_test_global *= 10;
|
os_test_global += 2;
|
DMSG("os_test_global=%d", os_test_global);
|
}
|
|
#if defined(WITH_TLS_TESTS)
|
__thread int os_test_shlib_tls_a;
|
__thread int os_test_shlib_tls_b = 123;
|
#endif
|
|
int os_test_shlib_add(int a, int b)
|
{
|
return a + b;
|
}
|
|
void os_test_shlib_panic(void)
|
{
|
TEE_Panic(0);
|
}
|
