// SPDX-License-Identifier: BSD-2-Clause
|
/*
|
* Copyright (c) 2018-2019, Linaro Limited
|
*/
|
|
#include <os_test_lib_dl.h>
|
#include <tee_internal_api.h>
|
#include <trace.h>
|
|
extern int os_test_global;
|
|
static void __attribute__((constructor)) os_test_shlib_dl_init(void)
|
{
|
os_test_global *= 10;
|
os_test_global += 3;
|
DMSG("os_test_global=%d", os_test_global);
|
}
|
|
int os_test_shlib_dl_add(int a, int b)
|
{
|
return a + b;
|
}
|
|
void os_test_shlib_dl_panic(void)
|
{
|
TEE_Panic(0);
|
}
|
