| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| /* | |
| * Copyright (c) 2015, Linaro Limited | |
| */ | |
| #ifndef SVC_CACHE_H | |
| #define SVC_CACHE_H | |
| #include <types_ext.h> | |
| #include <tee_api_types.h> | |
| #ifdef CFG_CACHE_API | |
| TEE_Result syscall_cache_operation(void *va, size_t len, unsigned long op); | |
| #else | |
| #define syscall_cache_operation syscall_not_supported | |
| #endif | |
| #endif /*SVC_CACHE_H*/ |