| Index: src/platform.h
|
| ===================================================================
|
| --- src/platform.h (revision 11348)
|
| +++ src/platform.h (working copy)
|
| @@ -123,6 +123,9 @@
|
| // 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
|
|
|