Remove dependency from platform files on v8.h

src/v8.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/v8.h"
 
 #include "src/assembler.h"
 #include "src/base/once.h"
 #include "src/bootstrapper.h"
 #include "src/debug.h"
@@ skipping 72 matching lines @@
     // Avoid random seeds in predictable mode.
     FLAG_random_seed = 12347;
   }
 
   if (FLAG_stress_compaction) {
     FLAG_force_marking_deque_overflows = true;
     FLAG_gc_global = true;
     FLAG_max_semi_space_size = 1;
   }
 
-  if (FLAG_random_seed != 0) OS::SetRandomSeed(FLAG_random_seed);
+  OS::Initialize(FLAG_random_seed, FLAG_hard_abort, FLAG_gc_fake_mmap);
 
 #ifdef V8_USE_DEFAULT_PLATFORM
   platform_ = new DefaultPlatform;
 #endif
   Sampler::SetUp();
   CpuFeatures::Probe(false);
   init_memcopy_functions();
   // The custom exp implementation needs 16KB of lookup data; initialize it
   // on demand.
   init_fast_sqrt_function();
@@ skipping 25 matching lines @@
   platform_ = NULL;
 }
 
 
 v8::Platform* V8::GetCurrentPlatform() {
   ASSERT(platform_);
   return platform_;
 }
 
 } }  // namespace v8::internal