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