1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2015, Linaro Limited
4  */
5 #ifndef TEE_CACHE_H
6 #define TEE_CACHE_H
7 
8 #include <utee_types.h>
9 
10 TEE_Result cache_operation(enum utee_cache_operation op, void *va, size_t len);
11 
12 #endif /* TEE_CACHE_H */
13