Symbol: NSIO_IRQ_HIGH