diff options
| author | Simon Baatz <gmbnomis@gmail.com> | 2013-06-11 00:10:12 +0400 |
|---|---|---|
| committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2013-06-17 13:30:52 +0400 |
| commit | 1bc39742aab09248169ef9d3727c9def3528b3f3 (patch) | |
| tree | 50179be222c15d5e06f77928331d63843f6fc738 /arch/arm/boot/compressed | |
| parent | 049be07053ebbf0ee8543caea23ae7bdf0765bb2 (diff) | |
| download | linux-1bc39742aab09248169ef9d3727c9def3528b3f3.tar.xz | |
ARM: 7755/1: handle user space mapped pages in flush_kernel_dcache_page
Commit f8b63c1 made flush_kernel_dcache_page a no-op assuming that
the pages it needs to handle are kernel mapped only. However, for
example when doing direct I/O, pages with user space mappings may
occur.
Thus, continue to do lazy flushing if there are no user space
mappings. Otherwise, flush the kernel cache lines directly.
Signed-off-by: Simon Baatz <gmbnomis@gmail.com>
Reviewed-by: Catalin Marinas <catalin.marinas@arm.com>
Cc: <stable@vger.kernel.org> # 3.2+
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Diffstat (limited to 'arch/arm/boot/compressed')
0 files changed, 0 insertions, 0 deletions