[webkit-reviews] review requested: [Bug 111441] Cache flush problem on ARMv7 JSC : [Attachment 191737] proposed fix

[bugzilla-daemon at webkit.org]

Gabor Rapcsanyi <rgabor at webkit.org> has asked  for review:
Bug 111441: Cache flush problem on ARMv7 JSC
https://bugs.webkit.org/show_bug.cgi?id=111441

Attachment 191737: proposed fix
https://bugs.webkit.org/attachment.cgi?id=191737&action=review

------- Additional Comments from Gabor Rapcsanyi <rgabor at webkit.org>
In another patch we should make it more sophisticated but for now it solves the
problem.
I'm also reverting Simon's patch with this.