[ginge.git] / loader / sys_cacheflush.h

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