Symbol: irq_matrix_reserve_managed