4 lines
57 B
C
4 lines
57 B
C
|
|
||
|
|
void sys_cacheflush(void *start_addr, void *end_addr);
|
||
|
|
|