From mboxrd@z Thu Jan 1 00:00:00 1970 From: gilles.chanteperdrix@xenomai.org (Gilles Chanteperdrix) Date: Fri, 13 Nov 2009 16:01:30 +0100 Subject: [RFC 11/11] ARM: avoid flushing I-cache in flush_cache_mm() In-Reply-To: References: Message-ID: <4AFD74CA.3040507@xenomai.org> To: linux-arm-kernel@lists.infradead.org List-Id: linux-arm-kernel.lists.infradead.org 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