wip, some dynamic stuff works
[ginge.git] / loader / sys_cacheflush.h
CommitLineData
11913091 1void sys_cacheflush(const void *start_addr, const void *end_addr);