#ifndef _TIMECAL_H_
#define _TIMECAL_H_

#define XDC_BIOS
#ifdef XDC_BIOS
#include <xdc/runtime/Types.h>
#include <xdc/runtime/Timestamp.h>
#endif

enum
{
	test
};
uint32 *runtime;


#include <time.h>
#ifdef XDC_BIOS

void init_Profile()
{
	runtime = malloc(255*sizeof(uint32));
}

uint32 Start_Profile() {

    Timestamp_getFreq(&freq);
    ui16_countspus        = (uint16)((float32)freq.hi * 4294.967296f + (float32)freq.lo * 0.000001f);
    ui32_Start = Timestamp_get32();
}

uint32 End_Profile() {
{
    ui32_End = Timestamp_get32();
}
#endif
#endif
