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