Revert the latest set of platform changes.

src/debug-agent.h

Index: src/debug-agent.h
diff --git a/src/debug-agent.h b/src/debug-agent.h
index 577239ce7c2608b1fc1fe003c9e48cfe1dd54a57..61151900f0141b505d2e2a6bc5f9020aeb4dc79e 100644
--- a/src/debug-agent.h
+++ b/src/debug-agent.h
@@ -48,7 +48,7 @@ class DebuggerAgent: public Thread {
         isolate_(Isolate::Current()),
         name_(StrDup(name)), port_(port),
         server_(OS::CreateSocket()), terminate_(false),
-        session_(NULL),
+        session_access_(OS::CreateMutex()), session_(NULL),
         terminate_now_(OS::CreateSemaphore(0)),
         listening_(OS::CreateSemaphore(0)) {
     ASSERT(isolate_->debugger_agent_instance() == NULL);
@@ -76,7 +76,7 @@ class DebuggerAgent: public Thread {
   int port_;  // Port to use for the agent.
   Socket* server_;  // Server socket for listen/accept.
   bool terminate_;  // Termination flag.
-  Mutex session_access_;  // Mutex guarging access to session_.
+  Mutex* session_access_;  // Mutex guarging access to session_.
   DebuggerAgentSession* session_;  // Current active session if any.
   Semaphore* terminate_now_;  // Semaphore to signal termination.
   Semaphore* listening_;