PSR_AA32_A_BIT
pstate & PSR_AA32_A_BIT ? 'A' : 'a',
(regs->pstate & PSR_AA32_A_BIT) == 0 &&
new |= (old & PSR_AA32_A_BIT);
new |= PSR_AA32_A_BIT;
#define VCPU_RESET_PSTATE_SVC (PSR_AA32_MODE_SVC | PSR_AA32_A_BIT | \