arch/arm64/kvm/arch_timer.c

100

return __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);

arch/arm64/kvm/arch_timer.c

142

__vcpu_assign_sys_reg(vcpu, CNTP_CVAL_EL0, cval);

arch/arm64/kvm/hyp/vhe/switch.c

129

val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);

arch/arm64/kvm/hyp/vhe/switch.c

165

__vcpu_assign_sys_reg(vcpu, CNTP_CVAL_EL0, val);

arch/arm64/kvm/hyp/vhe/switch.c

242

cval = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);

arch/arm64/kvm/hyp/vhe/switch.c

289

val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);

arch/arm64/kvm/hyp/vhe/switch.c

298

val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);

arch/arm64/kvm/sys_regs.c

3668

TIMER_REG(CNTP_CVAL_EL0, NULL),