From mboxrd@z Thu Jan  1 00:00:00 1970
From: linux@arm.linux.org.uk (Russell King - ARM Linux)
Date: Tue, 15 Mar 2011 18:45:20 +0000
Subject: [PATCH] ARMv7: Flush the vectors page using the base address
In-Reply-To: <20110315181314.26384.97754.stgit@e102109-lin.cambridge.arm.com>
References: <20110315181314.26384.97754.stgit@e102109-lin.cambridge.arm.com>
Message-ID: <20110315184519.GA3620@n2100.arm.linux.org.uk>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On Tue, Mar 15, 2011 at 06:13:15PM +0000, Catalin Marinas wrote:
> With the domains removal patch, the vectors page is populated using the
> kernel linear mapping address. However, the flush_icache_range()
> function must be called on the high vectors address because the I-cache
> is allowed to have aliases (or can even be ASID-tagged VIVT).

This is exactly one of the issues I raised when we went down this hacky
path of always doing this crap.

What you're now doing is missing the D-cache flush in the case of an
aliasing D-cache.  It's no better than it was before.