arch/arm64/kvm/arch_timer.c

1093

timer_set_offset(vcpu_ptimer(vcpu), 0);

arch/arm64/kvm/arch_timer.c

161

map->emul_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

164

map->direct_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

1658

timer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

170

map->direct_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

177

map->emul_ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

408

struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);

arch/arm64/kvm/arch_timer.c

431

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

arch/arm64/kvm/arch_timer.c

893

struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);

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

720

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

1629

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

arch/arm64/kvm/sys_regs.c

1646

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