[PATCH 2/2] remove the debugging restrictions in devicemaps_init()

[Russell King - ARM Linux]

On Tue, May 08, 2012 at 12:19:30AM -0400, Nicolas Pitre wrote:
> However, the switching itself doesn't involve a full cache flush.

That's where you're wrong.  Look at the switch_mm() helpers in proc-*.S.
StrongARM for example calls v4wb_flush_kern_cache_all() here, which needs
the cache flushing mappings to be in place in the _current_ page table.