Symbol: nbio_v7_9_process_ras_controller_irq