vcpu_timer         98 include/kvm/arm_arch_timer.h #define vcpu_get_timer(v,t)	(&vcpu_timer(v)->timers[(t)])
vcpu_timer        102 include/kvm/arm_arch_timer.h #define arch_timer_ctx_index(ctx)	((ctx) - vcpu_timer((ctx)->vcpu)->timers)
vcpu_timer        339 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);
vcpu_timer        388 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        411 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        418 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);
vcpu_timer        525 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        572 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        629 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        640 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        692 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer        995 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);
vcpu_timer       1041 virt/kvm/arm/arch_timer.c 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);