Symbol: vcpu_get_timer
arch/arm64/kvm/arch_timer.c
1020
timer_set_ctl(vcpu_get_timer(vcpu, i), 0);
arch/arm64/kvm/arch_timer.c
1037
vcpu_get_timer(vcpu, i));
arch/arm64/kvm/arch_timer.c
1054
struct arch_timer_context *ctxt = vcpu_get_timer(vcpu, timerid);
arch/arm64/kvm/arch_timer.c
1180
timer = vcpu_get_timer(vcpu, tmr);
arch/arm64/kvm/arch_timer.c
1232
timer = vcpu_get_timer(vcpu, tmr);
arch/arm64/kvm/arch_timer.c
1499
ctx = vcpu_get_timer(vcpu, i);
arch/arm64/kvm/arch_timer.c
1531
ctx = vcpu_get_timer(vcpu, i);