1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2015, Linaro Limited 4 */ 5 #ifndef __TEE_SVC_CACHE_H 6 #define __TEE_SVC_CACHE_H 7 8 #include <types_ext.h> 9 #include <tee_api_types.h> 10 11 #ifdef CFG_CACHE_API 12 TEE_Result syscall_cache_operation(void *va, size_t len, unsigned long op); 13 #else 14 #define syscall_cache_operation syscall_not_supported 15 #endif 16 17 #endif /*__TEE_SVC_CACHE_H*/ 18