a few more patches and a little rework
[ginge.git] / loader / sys_cacheflush.h
... / ...
CommitLineData
1void sys_cacheflush(const void *start_addr, const void *end_addr);