PSR_AA32_T_BIT
*vcpu_cpsr(vcpu) |= PSR_AA32_T_BIT;
pstate |= PSR_AA32_T_BIT;
(((regs)->pstate & PSR_AA32_T_BIT))
pstate & PSR_AA32_T_BIT ? "T32" : "A32",
PSR_AA32_T_BIT;
spsr |= PSR_AA32_T_BIT;
spsr &= ~PSR_AA32_T_BIT;
if (!(regs->pstate & PSR_AA32_T_BIT) ||
bool is_arm = !(cpsr & PSR_AA32_T_BIT);
is_thumb = !!(*vcpu_cpsr(vcpu) & PSR_AA32_T_BIT);
new |= PSR_AA32_T_BIT;
bool is_thumb = (spsr & PSR_AA32_T_BIT);