--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/eka/compsupp/rvct/ucppfini.cpp	Mon Oct 19 15:55:17 2009 +0100
@@ -0,0 +1,87 @@
+// 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 the License "ARM EABI LICENCE.txt"
+// which accompanies this distribution, and is available
+// in kernel/eka/compsupp.
+//
+// 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"