host_ptimer_irq_flags   28 virt/kvm/arm/arch_timer.c static u32 host_ptimer_irq_flags;
host_ptimer_irq_flags  715 virt/kvm/arm/arch_timer.c 	ptimer->host_timer_irq_flags = host_ptimer_irq_flags;
host_ptimer_irq_flags  724 virt/kvm/arm/arch_timer.c 	enable_percpu_irq(host_ptimer_irq, host_ptimer_irq_flags);
host_ptimer_irq_flags  951 virt/kvm/arm/arch_timer.c 		host_ptimer_irq_flags = irq_get_trigger_type(host_ptimer_irq);
host_ptimer_irq_flags  952 virt/kvm/arm/arch_timer.c 		if (host_ptimer_irq_flags != IRQF_TRIGGER_HIGH &&
host_ptimer_irq_flags  953 virt/kvm/arm/arch_timer.c 		    host_ptimer_irq_flags != IRQF_TRIGGER_LOW) {
host_ptimer_irq_flags  956 virt/kvm/arm/arch_timer.c 			host_ptimer_irq_flags = IRQF_TRIGGER_LOW;