Symbol: HDLC_irq_xpr