1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2018-2019, Linaro Limited
4  */
5 
6 #include <os_test_lib_dl.h>
7 #include <tee_internal_api.h>
8 #include <trace.h>
9 
10 extern int os_test_global;
11 
os_test_shlib_dl_init(void)12 static void __attribute__((constructor)) os_test_shlib_dl_init(void)
13 {
14 	os_test_global *= 10;
15 	os_test_global += 3;
16 	DMSG("os_test_global=%d", os_test_global);
17 }
18 
os_test_shlib_dl_add(int a,int b)19 int os_test_shlib_dl_add(int a, int b)
20 {
21 	return a + b;
22 }
23 
os_test_shlib_dl_panic(void)24 void os_test_shlib_dl_panic(void)
25 {
26 	TEE_Panic(0);
27 }
28