If these are not used at all, I suggest removing them completely for all platforms before they bit-rot. Adding Erik for a second opinion.
http://codereview.chromium.org/9721011/ -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev
