On Dec 22, 2008, at 12:36 AM, Mikko Rapeli wrote:
ARM: cache coherency fix for platforms with VIPT cache Dirty cache lines are not taken into account when checking for possible aliases. Track these cachelines and do a cache flush when we have such with a clashing cache color.
I checked in a fix which corrects dealing with pages that have cache entries in multiple colors.