Symbol: irq_matrix_available