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

..

files.rk30xx

…

rk30xx_gpio.c

…

rk30xx_grf.c

…

rk30xx_grf.h

…

rk30xx_machdep.c

…

rk30xx_mp.c

…

rk30xx_mp.h

…

rk30xx_pmu.c

…

rk30xx_pmu.h

…

rk30xx_wdog.c

…

rk30xx_wdog.h

…

std.rk30xx

…