SOCRATES_FPGA_IRQ_MASK
& SOCRATES_FPGA_IRQ_MASK;
& SOCRATES_FPGA_IRQ_MASK;
& SOCRATES_FPGA_IRQ_MASK;
& SOCRATES_FPGA_IRQ_MASK;
& SOCRATES_FPGA_IRQ_MASK;
SOCRATES_FPGA_IRQ_MASK << 16);
SOCRATES_FPGA_IRQ_MASK << 16);
SOCRATES_FPGA_IRQ_MASK << 16);