Symbol: irq_matrix_allocated