SET_PSTATE_TCO
asm volatile(ALTERNATIVE("nop", SET_PSTATE_TCO(0),
asm volatile(ALTERNATIVE("nop", SET_PSTATE_TCO(1),
asm volatile(SET_PSTATE_TCO(0));