Lines Matching refs:vcpu_timer
426 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);
475 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
498 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
505 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);
602 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
649 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
707 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
718 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
770 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
1075 struct arch_timer_cpu *timer = vcpu_timer(vcpu);
1121 struct arch_timer_cpu *timer = vcpu_timer(vcpu);