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 |