// Copyright (c) 2008-2010 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 now part of ksrt.lib, to allow for writeable static data in kernel-side executables
// 
//


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"