Symbol: set_cval_irq