host_timer_irq_flags   51 include/kvm/arm_arch_timer.h 	u32				host_timer_irq_flags;
host_timer_irq_flags  714 virt/kvm/arm/arch_timer.c 	vtimer->host_timer_irq_flags = host_vtimer_irq_flags;
host_timer_irq_flags  715 virt/kvm/arm/arch_timer.c 	ptimer->host_timer_irq_flags = host_ptimer_irq_flags;