start splitting plat menu code; batt + clock in menu; bugfix
[picodrive.git] / platform / common / arm_linux.h
CommitLineData
16b0afd0 1extern void cache_flush_d_inval_i(const void *start_addr, const void *end_addr);