1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2018, Linaro Limited
4  */
5 
6 extern "C" {
7 #include "os_test_lib_dl.h"
8 #include <tee_api_types.h>
9 }
10 
11 class OsTestLibDlCtorTest {
12 public:
OsTestLibDlCtorTest()13 	OsTestLibDlCtorTest() : val(2) {}
14 
15 	int val;
16 };
17 
18 static OsTestLibDlCtorTest os_test_lib_dl_ctor_test;
19 
os_test_shlib_dl_cxx_ctor(void)20 TEE_Result os_test_shlib_dl_cxx_ctor(void)
21 {
22 	if (os_test_lib_dl_ctor_test.val != 2)
23 		return TEE_ERROR_GENERIC;
24 
25 	return TEE_SUCCESS;
26 }
27