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

[Ming Lei]

On Thu, May 30, 2013 at 11:40 PM, Will Deacon <will.deacon at arm.com> wrote:
> Does the page_mapped test make the mapping_mapped test redundant? It sounds
> strange if it's possible to get a non-zero mapcount for a page when its
> address space isn't mapped.

Yes, page_mapped() should always return correct value for a page in page
cache.

I keep the previous check just for safe reason, and I can remove it if
you care.

Thanks
--
Ming Lei