Symbol: pit_timer_irqack