Symbol: bnge_cp_num_to_irq_num