| Index: src/platform.h | 
| diff --git a/src/platform.h b/src/platform.h | 
| index 18bf6b090ff67c1c16d4c8515e956f607ed093a0..6ae3fa00c0248e5237570b9152822d66ae7f877c 100644 | 
| --- a/src/platform.h | 
| +++ b/src/platform.h | 
| @@ -178,9 +178,6 @@ class OS { | 
| // called after CPU initialization. | 
| static void PostSetUp(); | 
|  | 
| -  // Clean up platform-OS-related things. Called once at VM shutdown. | 
| -  static void TearDown(); | 
| - | 
| // Returns the accumulated user time for thread. This routine | 
| // can be used for profiling. The implementation should | 
| // strive for high-precision timer resolution, preferable | 
| @@ -254,13 +251,6 @@ class OS { | 
| // Get the Alignment guaranteed by Allocate(). | 
| static size_t AllocateAlignment(); | 
|  | 
| -  // Returns an indication of whether a pointer is in a space that | 
| -  // has been allocated by Allocate().  This method may conservatively | 
| -  // always return false, but giving more accurate information may | 
| -  // improve the robustness of the stack dump code in the presence of | 
| -  // heap corruption. | 
| -  static bool IsOutsideAllocatedSpace(void* pointer); | 
| - | 
| // Sleep for a number of milliseconds. | 
| static void Sleep(const int milliseconds); | 
|  | 
|  |