[RFC PATCH 2/2] ARMv7: Invalidate the TLB before freeing page tables

[Russell King - ARM Linux]

On Wed, Mar 09, 2011 at 03:40:05PM +0000, Catalin Marinas wrote:
> The above call to tlb_add_flush() would only add a PAGE_SIZE. But
> since we free an entire PTE, shouldn't the range cover addr ..
> addr+PTRS_PER_PTE*PAGE_SIZE?

Why do we need to?  We're not flushing away the individual PTE entries
when we remove an entire page table - we will have already walked the
page table removing those entries, which will already have been added.

This code is to cover the case with LPAE where we need to flush out the
L1 entries.  It's nothing to do with the TLB itself.