    .text
    .align 4, 0x00

/* void sys_icache_invalidate(addr_t start, int length) */
.globl	_sys_icache_invalidate
_sys_icache_invalidate:
  ret
