Merge 10518 into 3.7. This adds an Android-specific version of cacheflush call.
Review URL: https://chromiumcodereview.appspot.com/9235064

git-svn-id: http://v8.googlecode.com/svn/branches/3.7@10521 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2 files changed