port to 64bit. Some gcc 4.4 warning fixes
[libpicofe.git] / common / arm_linux.h
CommitLineData
095a240b 1extern void cache_flush_d_inval_i(const void *start_addr, const void *end_addr);