intc_irqpin_mask_unmask_prio
intc_irqpin_mask_unmask_prio(p, k, 1);
intc_irqpin_mask_unmask_prio(p, k, 0);