// Copyright (c) 2006-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 "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:

// e32test\nkernsa\x86\x86utils.cpp

// 

//

#include <x86.h>

#include <nktest/nkutils.h>

extern "C" {

void __fastcall thread_request_signal(NThread* aThread);

TUint64 fcf;

TUint32 nfcf;

TUint32 nfcfs;

TUint32 round_to_page(TUint32 x)

	{

	return (x + KPageSize - 1) &~ (KPageSize - 1);

	}

TLinAddr __initial_stack_base()

	{

	return __stack_pointer() & ~0xfff;

	}

TInt __initial_stack_size()

	{

	return 0x1000;

	}

TUint64 fast_counter_freq()

	{

	return fcf;

	}

TUint32 norm_fast_counter_freq()

	{

	return nfcf;

	}

void init_fast_counter()

	{

	NKern::Sleep(2);

	TUint64 initial = fast_counter();

	NKern::Sleep(1000);

	TUint64 final = fast_counter();

	fcf = final - initial;

	TUint64 f = fcf;

	nfcfs = 0;

	while (f > 2000000)

		f>>=1, ++nfcfs;

	nfcf = (TUint32)(fcf >> nfcfs);

	DEBUGPRINT("fcf=%lx",fcf);

	DEBUGPRINT("nfcf=%d",nfcf);

	}

TInt __microseconds_to_fast_counter(TInt us)

	{

	TUint64 x = TUint64(TUint32(us));

	x *= fcf;

	x += TUint64(500000);

	x /= TUint64(1000000);

	return (TInt)x;

	}

TInt __microseconds_to_norm_fast_counter(TInt us)

	{

	TUint64 x = TUint64(TUint32(us));

	x *= nfcf;

	x += TUint64(500000);

	x /= TUint64(1000000);

	return (TInt)x;

	}

extern TUint32 __eflags();

void CheckPoint()

	{

	KPrintf("EFLAGS=%08x", __eflags());

	}

void __fastcall thread_request_signal(NThread* aThread)

	{

	NKern::ThreadRequestSignal(aThread);

	}

}