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