arch/arm64/kvm/arch_timer.c

1037

timer_set_ctl(vcpu_get_timer(vcpu, i), 0);

arch/arm64/kvm/arch_timer.c

1054

vcpu_get_timer(vcpu, i));

arch/arm64/kvm/arch_timer.c

1071

struct arch_timer_context *ctxt = vcpu_get_timer(vcpu, timerid);

arch/arm64/kvm/arch_timer.c

1206

timer = vcpu_get_timer(vcpu, tmr);

arch/arm64/kvm/arch_timer.c

1258

timer = vcpu_get_timer(vcpu, tmr);

arch/arm64/kvm/arch_timer.c

1530

ctx = vcpu_get_timer(vcpu, i);

arch/arm64/kvm/arch_timer.c

1569

ctx = vcpu_get_timer(vcpu, i);

arch/arm64/kvm/arch_timer.c

1609

kvm_vgic_set_irq_ops(vcpu, timer_irq(vcpu_get_timer(vcpu, i)), ops);