1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2015, Linaro Limited
4  */
5 #ifndef SVC_CACHE_H
6 #define 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 /*SVC_CACHE_H*/
18