arm64: mm: don't bother invalidating the icache in switch_mm
authorWill Deacon <will.deacon@arm.com>
Wed, 5 Jun 2013 11:40:34 +0000 (12:40 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Fri, 7 Jun 2013 17:00:11 +0000 (18:00 +0100)
We don't support software broadcast of cache maintenance operations, so
this flush is not required (__sync_icache_dcache will always affect all
CPUs).

Signed-off-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>

No differences found