SP_EL1
return __ctxt_sys_reg(&vcpu->arch.ctxt, SP_EL1);
ctxt_sys_reg(ctxt, SP_EL1) = read_sysreg(sp_el1);
write_sysreg(ctxt_sys_reg(ctxt, SP_EL1), sp_el1);
__vcpu_assign_sys_reg(vcpu, SP_EL1, p->regval);
p->regval = __vcpu_sys_reg(vcpu, SP_EL1);