| 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);
|
|
|
|
|