xref: /optee_os/core/include/tee/cache.h (revision d50fee0321fe6853ac6352cf0fd548666457b407)
11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */
22221cb56SEtienne Carriere /*
32221cb56SEtienne Carriere  * Copyright (c) 2015, Linaro Limited
42221cb56SEtienne Carriere  */
5*d50fee03SEtienne Carriere #ifndef __TEE_CACHE_H
6*d50fee03SEtienne Carriere #define __TEE_CACHE_H
72221cb56SEtienne Carriere 
82221cb56SEtienne Carriere #include <utee_types.h>
92221cb56SEtienne Carriere 
102221cb56SEtienne Carriere TEE_Result cache_operation(enum utee_cache_operation op, void *va, size_t len);
112221cb56SEtienne Carriere 
12*d50fee03SEtienne Carriere #endif /* __TEE_CACHE_H */
13