PSR_PAN_BIT
pstate & PSR_PAN_BIT ? '+' : '-',
(*vcpu_cpsr(vcpu) & PSR_PAN_BIT);
new |= (old & PSR_PAN_BIT);
new |= PSR_PAN_BIT;
spsr_mask = PSR_N_BIT | PSR_Z_BIT | PSR_C_BIT | PSR_V_BIT | PSR_DIT_BIT | PSR_PAN_BIT;
new_spsr |= PSR_PAN_BIT;
(regs->pstate & PSR_PAN_BIT);