src/sys_cacheflush.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#ifndef _WIZ_CACHEFLUSH

#ifdef __cplusplus
extern "C" {
#endif

extern void sys_cacheflush(void *start_addr, void *end_addr);

extern void spend_cycles(int c);

#ifdef __cplusplus
} /* End of extern "C" */
#endif

#endif