blob: 3285cc92212511a54e9c10c99df5426392909cf9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* SPDX-License-Identifier: BSD-2-Clause */
/*
* Copyright (c) 2015, Linaro Limited
* All rights reserved.
*/
#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 */
|