PSR_PAN_BIT
pstate & PSR_PAN_BIT ? '+' : '-',
(*vcpu_cpsr(vcpu) & PSR_PAN_BIT);
mask |= PSR_PAN_BIT;
new |= (old & PSR_PAN_BIT);
new |= PSR_PAN_BIT;
PSR_V_BIT | PSR_DIT_BIT | PSR_PAN_BIT;
spsr_el2 |= PSR_PAN_BIT;
(regs->pstate & PSR_PAN_BIT);