Push version 2.5.7 to trunk....

src/v8.h

Index: src/v8.h
===================================================================
--- src/v8.h	(revision 5846)
+++ src/v8.h	(working copy)
@@ -53,7 +53,7 @@
 
 // Basic includes
 #include "../include/v8.h"
-#include "globals.h"
+#include "v8globals.h"
 #include "checks.h"
 #include "allocation.h"
 #include "v8utils.h"
@@ -94,6 +94,11 @@
 
   // Random number generation support. Not cryptographically safe.
   static uint32_t Random();
+  // We use random numbers internally in memory allocation and in the
+  // compilers for security. In order to prevent information leaks we
+  // use a separate random state for internal random number
+  // generation.
+  static uint32_t RandomPrivate();
   static Object* FillHeapNumberWithRandom(Object* heap_number);
 
   // Idle notification directly from the API.