path: root/gp2x/sys_cacheflush.h

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