SPSR_EL2
spsr = vcpu_read_sys_reg(vcpu, SPSR_EL2);
vcpu_write_sys_reg(vcpu, val, SPSR_EL2);
write_sysreg(INIT_PSTATE_EL1, SPSR_EL2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, SPSR_EL2), SYS_SPSR);
__vcpu_assign_sys_reg(vcpu, SPSR_EL2, read_sysreg_el1(SYS_SPSR));
MAPPED_EL2_SYSREG(SPSR_EL2, SPSR_EL1, NULL );
EL2_REG_REDIR(SPSR_EL2, reset_val, 0),
SYS_REG(SPSR_EL2),
MAPPED_EL2_SYSREG(SPSR_EL2, SPSR_EL1);