Lines Matching refs:vcpu_timer
500 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);
574 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
599 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
606 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);
829 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
880 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
930 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
941 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
1016 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
1450 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
1511 struct arch_timer_cpu *timer = vcpu_timer(vcpu);