I-cache/D-cache inconsistency issue with page cache

[Russell King - ARM Linux]

On Sun, Sep 25, 2011 at 04:26:42PM +0100, Catalin Marinas wrote:
> On 25 September 2011 11:34, Russell King - ARM Linux
> <linux at arm.linux.org.uk> wrote:
> > As I've already pointed out though, the report is against old kernels
> > which doesn't have this code, so there's no point us speculating about
> > it until the issue has been confirmed against a kernel which we expect
> > _not_ to have the issue in the first place (rather than one which we
> > _do_ expect it to go wrong.)
> 
> Yes, they should definitely try a more recent kernel.

As the kernels which have been reported as having the issue do not
have __sync_icache_dcache, all bets are off for things behaving
correctly.  I don't see any point speculating further until the
problem is confirmed on a kernel _with_ __sync_icache_dcache.