loader: better system() path handling
[ginge.git] / loader / sys_cacheflush.h
1 void sys_cacheflush(const void *start_addr, const void *end_addr);