set_timer_irq_phys_active  492 virt/kvm/arm/arch_timer.c 	set_timer_irq_phys_active(ctx, phys_active);
set_timer_irq_phys_active  621 virt/kvm/arm/arch_timer.c 			set_timer_irq_phys_active(vtimer, false);