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

[bugzilla-daemon at webkit.org]

Zoltan Herczeg <zherczeg at webkit.org> has granted Gabor Rapcsanyi
<rgabor at webkit.org>'s request 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 Zoltan Herczeg <zherczeg at webkit.org>
r=me.

But I think the current flush mechanism invalidates a large amount of
unnecessary, so we should improve with it.