[RFC PATCH] ARM: mm: lazy cache flushing on non-mapped pages

[Ming Lei]

On Wed, May 22, 2013 at 10:42 PM, Catalin Marinas
<catalin.marinas at arm.com> wrote:
>
> That's the meaning of mapping_mapped(), it doesn't tell whether the page
> has a user virtual address.

Yes, I mean pages only need to flush if they has been mapped, so we can
use page_mapped() to decide that.

>
>> This patch also uses page_mapcount() to decide if the page has been
>> mapped.
>
> Better use page_mapped() instead.

Good idea, will do it v1, :-)

Thanks,
--
Ming Lei