few bugfixes, some features, starting 2.4 port
[warm.git] / sys_cacheflush.h
... / ...
CommitLineData
1
2void sys_cacheflush(void *start_addr, void *end_addr);
3