fix position of menu entries if length > 10
[libpicofe.git] / arm_linux.h
1 extern void cache_flush_d_inval_i(void *start_addr, void *end_addr);