CNTKCTL_EL1
ctxt_sys_reg(ctxt, CNTKCTL_EL1) = read_sysreg_el1(SYS_CNTKCTL);
write_sysreg_el1(ctxt_sys_reg(ctxt, CNTKCTL_EL1), SYS_CNTKCTL);
case CNTKCTL_EL1:
case CNTKCTL_EL1: val = read_sysreg_s(SYS_CNTKCTL_EL12); break;
__vcpu_assign_sys_reg(vcpu, CNTKCTL_EL1, p->regval);
p->regval = __vcpu_sys_reg(vcpu, CNTKCTL_EL1);
case CNTKCTL_EL1: write_sysreg_s(val, SYS_CNTKCTL_EL12); break;
{ SYS_DESC(SYS_CNTKCTL_EL1), NULL, reset_val, CNTKCTL_EL1, 0},
MAPPED_EL2_SYSREG(CNTHCTL_EL2, CNTKCTL_EL1);