99de912ef9a6d988431b625f7c489c7c875541a9
[picodrive.git] / arm_linux.h
1 extern void cache_flush_d_inval_i(const void *start_addr, const void *end_addr);