PSR_AA32_MODE_MASK
mode = *vcpu_cpsr(vcpu) & PSR_AA32_MODE_MASK;
u64 mode = (*(u64 *)valp) & PSR_AA32_MODE_MASK;
switch (*vcpu_cpsr(vcpu) & PSR_AA32_MODE_MASK) {
u64 mode = pstate & PSR_AA32_MODE_MASK;