blob: 22f6433adb00f3609b6c45fe281b0191a7f739ea [file] [log] [blame]
Pascal Brandc639ac82015-07-02 08:53:34 +02001/*
2 * Copyright (c) 2014, STMicroelectronics International N.V.
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are met:
7 *
8 * 1. Redistributions of source code must retain the above copyright notice,
9 * this list of conditions and the following disclaimer.
10 *
11 * 2. Redistributions in binary form must reproduce the above copyright notice,
12 * this list of conditions and the following disclaimer in the documentation
13 * and/or other materials provided with the distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 * POSSIBILITY OF SUCH DAMAGE.
26 */
27
28#ifndef OS_TEST_H
29#define OS_TEST_H
30
31#include <tee_api.h>
32
33TEE_Result ta_entry_basic(uint32_t param_types, TEE_Param params[4]);
34TEE_Result ta_entry_client_with_timeout(uint32_t param_types,
35 TEE_Param params[4]);
36TEE_Result ta_entry_panic(uint32_t param_types, TEE_Param params[4]);
37TEE_Result ta_entry_client(uint32_t param_types, TEE_Param params[4]);
Etienne Carriere281065d2016-10-28 15:41:33 +020038TEE_Result ta_entry_params_access_rights(uint32_t p_types, TEE_Param params[4]);
Pascal Brandc639ac82015-07-02 08:53:34 +020039TEE_Result ta_entry_wait(uint32_t param_types, TEE_Param params[4]);
40TEE_Result ta_entry_bad_mem_access(uint32_t param_types, TEE_Param params[4]);
Pascal Brandc639ac82015-07-02 08:53:34 +020041
42#endif /*OS_TEST_H */