Symbol: tcic_irq_count