.text .align 4, 0x00 /* void sys_icache_invalidate(addr_t start, int length) */ .globl _sys_icache_invalidate _sys_icache_invalidate: ret