set_timer_irq_phys_active
set_timer_irq_phys_active(ctx, phys_active);
set_timer_irq_phys_active(vtimer, false);