FPGA_PIC_IRQMASK
mask = socrates_fpga_pic_read(FPGA_PIC_IRQMASK(irq_line))
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(irq_line), mask);
mask = socrates_fpga_pic_read(FPGA_PIC_IRQMASK(irq_line))
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(irq_line), mask);
mask = socrates_fpga_pic_read(FPGA_PIC_IRQMASK(irq_line))
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(irq_line), mask);
mask = socrates_fpga_pic_read(FPGA_PIC_IRQMASK(irq_line))
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(irq_line), mask);
mask = socrates_fpga_pic_read(FPGA_PIC_IRQMASK(irq_line))
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(irq_line), mask);
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(0),
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(1),
socrates_fpga_pic_write(FPGA_PIC_IRQMASK(2),
cause = socrates_fpga_pic_read(FPGA_PIC_IRQMASK(i));