ARM: 7772/1: Fix missing flush_kernel_dcache_page() for noMMU
authorSimon Baatz <gmbnomis@gmail.com>
Sat, 22 Jun 2013 21:01:25 +0000 (22:01 +0100)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Mon, 24 Jun 2013 13:28:44 +0000 (14:28 +0100)
commit63384fd0b1509acf522a8a8fcede09087eedb7df
tree3bdd2d078cdf5300d84c3288bcce1096da2361f2
parent18d7f152df31e5a326301fdaad385e40874dff80
ARM: 7772/1: Fix missing flush_kernel_dcache_page() for noMMU

Commit 1bc3974 (ARM: 7755/1: handle user space mapped pages in
flush_kernel_dcache_page) moved the implementation of
flush_kernel_dcache_page() into mm/flush.c but did not implement it
on noMMU ARM.

Signed-off-by: Simon Baatz <gmbnomis@gmail.com>
Acked-by: Kevin Hilman <khilman@linaro.org>
Cc: <stable@vger.kernel.org> # 3.2+: 1bc3974: ARM: 7755/1
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
arch/arm/mm/nommu.c