Symbol: vcpu_hptimer
arch/arm64/kvm/arch_timer.c
159
map->direct_ptimer = vcpu_hptimer(vcpu);
arch/arm64/kvm/arch_timer.c
166
map->emul_ptimer = vcpu_hptimer(vcpu);
arch/arm64/kvm/arch_timer.c
1664
timer = vcpu_hptimer(vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
130
if (map.direct_ptimer == vcpu_hptimer(vcpu))
arch/arm64/kvm/hyp/vhe/switch.c
166
if (map.direct_ptimer == vcpu_hptimer(vcpu))
arch/arm64/kvm/hyp/vhe/switch.c
296
val -= timer_get_offset(vcpu_hptimer(vcpu));
arch/arm64/kvm/hyp/vhe/switch.c
303
val = compute_counter_value(vcpu_hptimer(vcpu));