[RFC 11/11] ARM: avoid flushing I-cache in flush_cache_mm()

[Gilles Chanteperdrix]

Russell King wrote:
> flush_cache_mm() is called in two cases:
> 1. when a process exits, just before the page tables are torn down.
>    We can allow the stale lines to evict themselves over time without
>    causing any harm.

Is not there any risk to see cache lines evicted at a time when there
are no longer any page table entries for them? This was said to be a
problem during the early discussions on FCSE:

http://lists.arm.linux.org.uk/lurker/message/20071005.131816.8b478a49.en.html

-- 
                                          Gilles