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