FPGA_PIC_IRQCFG
mask = socrates_fpga_pic_read(FPGA_PIC_IRQCFG);
socrates_fpga_pic_write(FPGA_PIC_IRQCFG, mask);