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
socfpga_common.c
socfpga_common.h
socfpga_gpio.c
socfpga_l3regs.h
socfpga_machdep.c
socfpga_manager.c
socfpga_mp.c
socfpga_mp.h
socfpga_rstmgr.c
socfpga_rstmgr.h
std.socfpga	Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.	2018-07-28 06:46:10 +00:00