| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| /* | |
| * Copyright (c) 2015, Linaro Limited | |
| */ | |
| #ifndef TEE_CACHE_H | |
| #define TEE_CACHE_H | |
| #include <utee_types.h> | |
| TEE_Result cache_operation(enum utee_cache_operation op, void *va, size_t len); | |
| #endif /* TEE_CACHE_H */ |