forked from Minki/linux
233242040f
Instead of directly touching gic_arch_extn, which is about to be removed, use gic_set_irqchip_flags instead. Acked-by: Linus Walleij <linus.walleij@linaro.org> Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> Link: https://lkml.kernel.org/r/1426088737-15817-4-git-send-email-marc.zyngier@arm.com Signed-off-by: Jason Cooper <jason@lakedaemon.net> |
||
---|---|---|
.. | ||
board-mop500-audio.c | ||
board-mop500-regulators.c | ||
board-mop500-regulators.h | ||
board-mop500.h | ||
cache-l2x0.c | ||
cpu-db8500.c | ||
cpu.c | ||
db8500-regs.h | ||
headsmp.S | ||
hotplug.c | ||
id.c | ||
id.h | ||
Kconfig | ||
Makefile | ||
Makefile.boot | ||
platsmp.c | ||
pm_domains.c | ||
pm_domains.h | ||
pm.c | ||
setup.h | ||
ste-dma40-db8500.h | ||
timer.c |