arch/arm64/kvm/arch_timer.c

1110

timer_set_offset(vcpu_ptimer(vcpu), 0);

arch/arm64/kvm/arch_timer.c

1695

timer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

172

map->emul_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

175

map->direct_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

181

map->direct_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

188

map->emul_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

418

v ^= kvm_timer_pending(vcpu_ptimer(vcpu)) ? KVM_ARM_DEV_EL1_PTIMER : 0;

arch/arm64/kvm/arch_timer.c

450

(ctx == vcpu_vtimer(vcpu) || ctx == vcpu_ptimer(vcpu))) {

arch/arm64/kvm/hyp/include/hyp/switch.h

759

ctxt = vcpu_ptimer(vcpu);

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

128

if (map.direct_ptimer == vcpu_ptimer(vcpu))

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

164

if (map.direct_ptimer == vcpu_ptimer(vcpu))

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

244

cnt = compute_counter_value(vcpu_ptimer(vcpu));

arch/arm64/kvm/sys_regs.c

1711

timer_set_offset(vcpu_ptimer(vcpu), kvm_phys_timer_read() - val);

arch/arm64/kvm/sys_regs.c

1728

*val = kvm_phys_timer_read() - timer_get_offset(vcpu_ptimer(vcpu));