[PATCH] ARM: setup_mm_for_reboot(): use flush_cache_louis()

[Nicolas Pitre]

On Thu, 8 Nov 2012, Will Deacon wrote:

> I checked all of the switch_mm implementations and it looks like
> !CONFIG_CPU_HAS_ASID implies the TLB flush in all cases, so this looks fine
> to me.
> 
> Acked-by: Will Deacon <will.deacon at arm.com>

Submitted as patch 7573/1.

Thanks!


Nicolas