Symbol: pipe_irq_enable