Samsung Internal API reference  2.0
cache.h
Go to the documentation of this file.
1 
9 #ifndef _CACHE_H_
10 #define _CACHE_H_
11 
12 #ifdef __cplusplus
13 extern "C" {
14 #endif
15 
16 #include <stdlib.h>
17 
25 int TEES_DcacheFlush(const void *addr, size_t nbytes);
26 
34 int TEES_DcacheClean(const void *addr, size_t nbytes);
35 
36 #ifdef __cplusplus
37 }
38 #endif
39 
40 #endif /* _CACHE_H_ */
TEES_DcacheFlush
int TEES_DcacheFlush(const void *addr, size_t nbytes)
Perform data cache flush.
TEES_DcacheClean
int TEES_DcacheClean(const void *addr, size_t nbytes)
Perform data cache clean.
stdlib.h
Standard library header.