[PATCH V3 2/2] ARM: Handle user space mapped pages in flush_kernel_dcache_page
From: catalin.marinas@arm.com (Catalin Marinas)
Date: 2012-10-08 17:44:28
On Sun, Oct 07, 2012 at 12:29:12PM +0100, Simon Baatz wrote:
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, do lazy flushing like in flush_dcache_page() if there are no user space mappings. Otherwise, flush the kernel cache lines directly.
Do you need to fix the VIPT non-aliasing case as well? Does flush_kernel_dcache_page() need to handle I-cache? -- Catalin