andrew e91597da47 Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files. ... These are unneeded with INTRNG.		2018-07-28 06:46:10 +00:00
..
files.socfpga	dwmmc: Fully subclass driver	2017-12-30 22:01:17 +00:00
socfpga_a10_manager.c	Add FPGA manager driver for Intel Arria 10.	2017-03-03 14:19:37 +00:00
socfpga_common.c	Add support for PLATFORM and PLATFORM_SMP to the Altera SOCFPGA SoC. This	2017-02-07 12:04:04 +00:00
socfpga_common.h
socfpga_gpio.c	Stop including fdt_common.h from the arm code when it's unneeded.	2016-11-14 11:41:22 +00:00
socfpga_l3regs.h
socfpga_machdep.c	Add SOC_ALTERA_* kernel options per each SoC and use it to	2017-02-28 16:20:33 +00:00
socfpga_manager.c	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
socfpga_mp.c	Add SOC_ALTERA_* kernel options per each SoC and use it to	2017-02-28 16:20:33 +00:00
socfpga_mp.h	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
socfpga_rstmgr.c	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
socfpga_rstmgr.h	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
std.socfpga	Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.	2018-07-28 06:46:10 +00:00