host_vtimer_irq_flags   27 virt/kvm/arm/arch_timer.c static u32 host_vtimer_irq_flags;
host_vtimer_irq_flags  520 virt/kvm/arm/arch_timer.c 		enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);
host_vtimer_irq_flags  623 virt/kvm/arm/arch_timer.c 			enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);
host_vtimer_irq_flags  714 virt/kvm/arm/arch_timer.c 	vtimer->host_timer_irq_flags = host_vtimer_irq_flags;
host_vtimer_irq_flags  723 virt/kvm/arm/arch_timer.c 	enable_percpu_irq(host_vtimer_irq, host_vtimer_irq_flags);
host_vtimer_irq_flags  918 virt/kvm/arm/arch_timer.c 	host_vtimer_irq_flags = irq_get_trigger_type(host_vtimer_irq);
host_vtimer_irq_flags  919 virt/kvm/arm/arch_timer.c 	if (host_vtimer_irq_flags != IRQF_TRIGGER_HIGH &&
host_vtimer_irq_flags  920 virt/kvm/arm/arch_timer.c 	    host_vtimer_irq_flags != IRQF_TRIGGER_LOW) {
host_vtimer_irq_flags  923 virt/kvm/arm/arch_timer.c 		host_vtimer_irq_flags = IRQF_TRIGGER_LOW;