1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2015, Linaro Limited
4  * All rights reserved.
5  */
6 
7 #ifndef STORAGE_BENCHMARK_H
8 #define STORAGE_BENCHMARK_H
9 
10 #include <tee_api.h>
11 
12 TEE_Result ta_storage_benchmark_cmd_handler(uint32_t nCommandID,
13 		uint32_t param_types, TEE_Param params[4]);
14 
15 #endif /*STORAGE_BENCHMARK_H */
16