arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

160

ctxt_sys_reg(ctxt, CNTKCTL_EL1) = read_sysreg_el1(SYS_CNTKCTL);

arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

255

write_sysreg_el1(ctxt_sys_reg(ctxt, CNTKCTL_EL1), SYS_CNTKCTL);

arch/arm64/kvm/sys_regs.c

120

case CNTKCTL_EL1:

arch/arm64/kvm/sys_regs.c

240

case CNTKCTL_EL1: val = read_sysreg_s(SYS_CNTKCTL_EL12); break;

arch/arm64/kvm/sys_regs.c

2705

__vcpu_assign_sys_reg(vcpu, CNTKCTL_EL1, p->regval);

arch/arm64/kvm/sys_regs.c

2707

p->regval = __vcpu_sys_reg(vcpu, CNTKCTL_EL1);

arch/arm64/kvm/sys_regs.c

278

case CNTKCTL_EL1: write_sysreg_s(val, SYS_CNTKCTL_EL12); break;

arch/arm64/kvm/sys_regs.c

3415

{ SYS_DESC(SYS_CNTKCTL_EL1), NULL, reset_val, CNTKCTL_EL1, 0},

tools/testing/selftests/kvm/include/arm64/processor.h

362

MAPPED_EL2_SYSREG(CNTHCTL_EL2, CNTKCTL_EL1);