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

[Will Deacon]

On Fri, May 31, 2013 at 05:31:59AM +0100, Ming Lei wrote:
> 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.

I think it makes the code clearer and removes a check, so yes please.

Will