ARM: 7755/1: handle user space mapped pages in flush_kernel_dcache_page
Commit f8b63c18 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>
parent
049be070
Please register or sign in to comment