PSR_TCO_BIT
pstate & PSR_TCO_BIT ? '+' : '-',
regs->pstate &= ~PSR_TCO_BIT;
new |= PSR_TCO_BIT;
spsr_el2 |= PSR_TCO_BIT;