ELR_EL1
return __ctxt_sys_reg(&vcpu->arch.ctxt, ELR_EL1);
__vcpu_write_sys_reg(vcpu, *vcpu_pc(vcpu), ELR_EL1);
ctxt_sys_reg(ctxt, ELR_EL1) = read_sysreg_el1(SYS_ELR);
write_sysreg_el1(ctxt_sys_reg(ctxt, ELR_EL1), SYS_ELR);
case ELR_EL1:
MAPPED_EL2_SYSREG(ELR_EL2, ELR_EL1, NULL );
case ELR_EL1: val = read_sysreg_s(SYS_ELR_EL12); break;
vcpu_write_sys_reg(vcpu, p->regval, ELR_EL1);
p->regval = vcpu_read_sys_reg(vcpu, ELR_EL1);
case ELR_EL1: write_sysreg_s(val, SYS_ELR_EL12); break;
MAPPED_EL2_SYSREG(ELR_EL2, ELR_EL1);