Lines Matching +full:fpga +full:- +full:based
1 // SPDX-License-Identifier: GPL-2.0-or-later
9 * Based on: mpc85xx_ds.c (MPC85xx DS Board Setup)
25 #include <asm/pci-bridge.h>
47 if (of_machine_is_compatible("fsl,MPC8572DS-CAMP")) { in ge_imp3a_pic_init()
63 * There is a simple interrupt handler in the main FPGA, this needs in ge_imp3a_pic_init()
66 for_each_node_by_type(np, "interrupt-controller") in ge_imp3a_pic_init()
67 if (of_device_is_compatible(np, "gef,fpga-pic-1.00")) { in ge_imp3a_pic_init()
73 printk(KERN_WARNING "IMP3A: No FPGA PIC\n"); in ge_imp3a_pic_init()
88 if (of_device_is_compatible(np, "fsl,mpc8540-pci") || in ge_imp3a_pci_assign_primary()
89 of_device_is_compatible(np, "fsl,mpc8548-pcie") || in ge_imp3a_pci_assign_primary()
90 of_device_is_compatible(np, "fsl,p2020-pcie")) { in ge_imp3a_pci_assign_primary()
118 regs = of_find_compatible_node(NULL, NULL, "ge,imp3a-fpga-regs"); in ge_imp3a_setup_arch()
151 /* Return the FPGA revision */
183 ('A' + ge_imp3a_get_board_rev() - 1)); in ge_imp3a_show_cpuinfo()
185 seq_printf(m, "FPGA Revision\t: %u\n", ge_imp3a_get_fpga_rev()); in ge_imp3a_show_cpuinfo()