[PATCH] ARMv7: Flush the vectors page using the base address

[Russell King - ARM Linux]

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.