cp15_barrier
setend
swp
tagged_addr_disabled