SOCRATES_FPGA_NUM_IRQS
#define SOCRATES_FPGA_IRQ_MASK ((1 << SOCRATES_FPGA_NUM_IRQS) - 1)
SOCRATES_FPGA_NUM_IRQS, &socrates_fpga_pic_host_ops, NULL);
static struct socrates_fpga_irq_info fpga_irqs[SOCRATES_FPGA_NUM_IRQS] = {
for (i = SOCRATES_FPGA_NUM_IRQS - 1; i >= 0; i--) {