It's enough to include the asm/smp_plat.h once in arch/arm/mm/flush.c
Signed-off-by: NJesper Juhl <jj@chaosbits.net>
Signed-off-by: NJiri Kosina <jkosina@suse.cz>