On Mon, 2011-05-09 at 11:32 +0100, Russell King - ARM Linux wrote:
On Mon, May 09, 2011 at 11:22:19AM +0100, Catalin Marinas wrote:
quoted
Alternatively an exception return would do as well (like movs pc, lr)
but I think we still add some code for setting up the SPSR.
That gives us a way out of both of these without introducing any CPU
specific code. We can setup the SPSR before this block of code, and
call it with two movs pc, reg instructions which will provide the
necessary synchronization.
We still need an ISB before enabling the MMU to make sure that the TTBR
changing is visible. We may run with the MMU enabled (in the identity
mapping) before the exception return but with random data in TTBR.
--
Catalin