diff -r 000000000000 -r 96e5fb8b040d kernel/eka/compsupp/rvct3_1/ucppfini.cpp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/eka/compsupp/rvct3_1/ucppfini.cpp	Thu Dec 17 09:24:54 2009 +0200
@@ -0,0 +1,90 @@
+/*
+* Copyright (c) 2008-2009 Nokia Corporation and/or its subsidiary(-ies).
+* All rights reserved.
+* This component and the accompanying materials are made available
+* under the terms of "Eclipse Public License v1.0"
+* which accompanies this distribution, and is available
+* at the URL "http://www.eclipse.org/legal/epl-v10.html".
+*
+* Initial Contributors:
+* Nokia Corporation - initial contribution.
+*
+* Contributors:
+*
+* Description: 
+* This file is part of usrt.lib (but not ksrt.lib).
+*
+*/
+
+
+
+extern "C" {
+
+typedef void (DTOR)(void *);
+
+struct dtd 
+{ 
+    void * obj;
+    DTOR * dtor; 
+};
+
+
+#define MAX_DTOR_RECORDS 256
+dtd dtor_rec[MAX_DTOR_RECORDS];
+
+typedef dtd** dso_handle;
+dtd * __dso_handle = &dtor_rec[MAX_DTOR_RECORDS];
+
+
+// This is called by compiler generated code to record needed destructions of
+// dynamically initialized (ctor) top level (BSS) data. 
+// I guess this is more efficient for the compiler than __cxa_atexit, since 
+// it takes the object that needs dtoring as its first arg, which means its in
+// the right register when the ctor returns.
+void __aeabi_atexit(void *aObject, void (*aDtor)(void *), dso_handle aHandle)
+    {
+    dtd * drec = *aHandle;
+    drec--;
+
+    if (drec < &dtor_rec[0])
+        return; // Need to decide what to do here
+
+    drec->dtor = aDtor;
+    drec->obj  = aObject;
+
+    *aHandle = drec;
+    }
+
+int __cxa_atexit( void (*aDtor)(void *), void *aObject, dso_handle aHandle )
+    {
+    __aeabi_atexit(aObject, aDtor, aHandle);
+
+    // This is what the C++ GABI spec says to do!!
+    if (*aHandle < &dtor_rec[0]) 
+        return -1;
+
+    return 0;
+    }
+
+void __cxa_finalize(dso_handle d)
+    {
+    dtd * drec = * d;
+    dtd * lim  = &dtor_rec[MAX_DTOR_RECORDS];
+    
+    while (drec < lim) 
+        {
+        drec->dtor(drec->obj);
+        drec++;
+        }
+
+    *d = drec;
+    }
+
+void run_static_dtors()
+    {
+    __cxa_finalize(&__dso_handle);
+    }
+
+
+} // extern "C"
+