ck860:
     tlbi.all
     tlbi.alls
     tlbi.va  r1
     tlbi.vas r15
     tlbi.asid r1
     tlbi.asids r15
     tlbi.vaa r15
     tlbi.vaas r15
     dcache.cisw r31
     dcache.civa r31
     dcache.ciall
     dcache.csw r31
     dcache.cva r31
     dcache.cval1 r31
     dcache.call
     dcache.isw r31
     dcache.iva r31
     dcache.iall
     icache.iall
     icache.ialls
     icache.iva r31
     bar.brwarw
     bar.brwarws
     bar.brar
     bar.brars
     bar.bwaw
     bar.bwaws
     sync.is
     sync.i
     sync.s
     sync

     ldex.w r2, (r3, 0)
     stex.w r2, (r3, 0)