tree ce6da1f5fd789a08dafec39e094b29cf6023a9af
parent a9ad21fed09cb95d34af9474be0831525b30c4c6
author Russell King <rmk+kernel@arm.linux.org.uk> 1298204205 +0000
committer Russell King <rmk+kernel@arm.linux.org.uk> 1298316568 +0000

ARM: tlb: delay page freeing for SMP and ARMv7 CPUs

We need to delay freeing any mapped page on SMP and ARMv7 systems to
ensure that the data is not accessed by other CPUs, or is used for
speculative prefetch with ARMv7.  This includes not only mapped pages
but also pages used for the page tables themselves.

This avoids races with the MMU/other CPUs accessing pages after they've
been freed but before we've invalidated the TLB.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>