SPSR_EL1
return __ctxt_sys_reg(&vcpu->arch.ctxt, SPSR_EL1);
vcpu_write_sys_reg(vcpu, val, SPSR_EL1);
__vcpu_assign_sys_reg(vcpu, SPSR_EL1, val);
ctxt_sys_reg(ctxt, SPSR_EL1) = read_sysreg_el1(SYS_SPSR);
write_sysreg_el1(ctxt_sys_reg(ctxt, SPSR_EL1), SYS_SPSR);
case SPSR_EL1:
MAPPED_EL2_SYSREG(SPSR_EL2, SPSR_EL1, NULL );
case SPSR_EL1: val = read_sysreg_s(SYS_SPSR_EL12); break;
__vcpu_assign_sys_reg(vcpu, SPSR_EL1, p->regval);
p->regval = __vcpu_sys_reg(vcpu, SPSR_EL1);
case SPSR_EL1: write_sysreg_s(val, SYS_SPSR_EL12); break;
MAPPED_EL2_SYSREG(SPSR_EL2, SPSR_EL1);