Andrew Turner e4c66ddabd 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
..
armada38x_mp.c
armada38x_pl310.c
armada38x_pl310.h
armada38x_rtc.c
armada38x.c
files.armada38x
pmsu.c
pmsu.h
std.armada38x