r1 (released with gpSP)
[warm.git] / sys_cacheflush.h
1
2 void sys_cacheflush(void *start_addr, void *end_addr);
3