Symbol: set_timer_irq_phys_active
arch/arm64/kvm/arch_timer.c
678
set_timer_irq_phys_active(ctx, phys_active);
arch/arm64/kvm/arch_timer.c
989
set_timer_irq_phys_active(vtimer, false);