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