arch/arm64/kvm/arch_timer.c

1028

struct arch_timer_offset *offs = &vcpu_vtimer(vcpu)->offset;

arch/arm64/kvm/arch_timer.c

1092

timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read());

arch/arm64/kvm/arch_timer.c

160

map->emul_vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

163

map->direct_vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

1655

timer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

169

map->direct_vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

174

map->direct_vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

273

ctx = is_hyp_ctxt(vcpu) ? vcpu_hvtimer(vcpu) : vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

407

struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

431

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

arch/arm64/kvm/arch_timer.c

683

struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

892

struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/arch_timer.c

984

struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);

arch/arm64/kvm/handle_exit.c

154

now -= timer_get_offset(vcpu_vtimer(vcpu));

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

732

ctxt = vcpu_vtimer(vcpu);

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

249

cnt = compute_counter_value(vcpu_vtimer(vcpu));

arch/arm64/kvm/sys_regs.c

1625

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

arch/arm64/kvm/sys_regs.c

1643

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