software/bios/boot-helper.S

   1 .section    .text, "ax", @progbits
   2 .global     boot_helper
   3 boot_helper:
   4         /* Invalidate instruction cache */
   5         wcsr ICC, r0
   6         nop
   7         nop
   8         nop
   9         nop
  10         call r4