host_timer_irq     50 include/kvm/arm_arch_timer.h 	u32				host_timer_irq;
host_timer_irq    470 virt/kvm/arm/arch_timer.c 	r = irq_set_irqchip_state(ctx->host_timer_irq, IRQCHIP_STATE_ACTIVE, active);
host_timer_irq    711 virt/kvm/arm/arch_timer.c 	vtimer->host_timer_irq = host_vtimer_irq;
host_timer_irq    712 virt/kvm/arm/arch_timer.c 	ptimer->host_timer_irq = host_ptimer_irq;
host_timer_irq   1063 virt/kvm/arm/arch_timer.c 				    map.direct_vtimer->host_timer_irq,
host_timer_irq   1071 virt/kvm/arm/arch_timer.c 					    map.direct_ptimer->host_timer_irq,