1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2019, Linaro Limited
4  */
5 
6 #ifndef DERIVE_KEY_TAF_H
7 #define DERIVE_KEY_TAF_H
8 
9 #include <tee_internal_api.h>
10 
11 TEE_Result derive_ta_unique_key_test(uint32_t param_types,
12 				     TEE_Param params[4]);
13 TEE_Result derive_ta_unique_key_test_shm(uint32_t param_types,
14 					 TEE_Param params[4]);
15 #endif
16