FPGA_PIC_IRQCFG   208 arch/powerpc/platforms/85xx/socrates_fpga_pic.c 	mask = socrates_fpga_pic_read(FPGA_PIC_IRQCFG);
FPGA_PIC_IRQCFG   213 arch/powerpc/platforms/85xx/socrates_fpga_pic.c 	socrates_fpga_pic_write(FPGA_PIC_IRQCFG, mask);