socrates_fpga_pic_init 56 arch/powerpc/platforms/85xx/socrates.c socrates_fpga_pic_init(np); socrates_fpga_pic_init 9 arch/powerpc/platforms/85xx/socrates_fpga_pic.h void socrates_fpga_pic_init(struct device_node *pic);