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

 // e32\nkern\arm\ncsched.cpp

 // 

 //

 // NThreadBase member data

 #define __INCLUDE_NTHREADBASE_DEFINES__

 #include <arm.h>

 #if defined(_DEBUG)

 extern "C" void __DebugMsgWaitForAnyRequest()

 	{

 	__KTRACE_OPT(KEXEC,DEBUGPRINT("WfAR"));

 	}

 extern "C" void __DebugMsgResched(int a)

 	{

 	__KTRACE_OPT(KSCHED,DEBUGPRINT("Reschedule->%T",a));

 	}

 extern "C" void __DebugMsgInitSelection(int a)

 	{

 	NThread* pT=(NThread*)a;

 	if (pT->iHeldFastMutex)

 		{

 		__KTRACE_OPT(KSCHED2,DEBUGPRINT("Resched init->%T, Holding %M",pT,pT->iHeldFastMutex));

 		}

 	else

 		{

 		__KTRACE_OPT(KSCHED2,DEBUGPRINT("Resched init->%T",pT));

 		}

 	}

 extern "C" void __DebugMsgRR(int a)

 	{

 	NThread* pT=(NThread*)a;

 	__KTRACE_OPT(KSCHED2,DEBUGPRINT("RoundRobin->%T",pT));

 	}

 extern "C" void __DebugMsgBlockedFM(int a)

 	{

 	NFastMutex* pM=(NFastMutex*)a;

 	__KTRACE_OPT(KSCHED2,DEBUGPRINT("Resched inter->%T, Blocked on %M",pM->iHoldingThread,pM));

 	}

 extern "C" void __DebugMsgImpSysHeld(int a)

 	{

 	NThread* pT=(NThread*)a;

 	__KTRACE_OPT(KSCHED2,DEBUGPRINT("Resched inter->%T (IMP SYS)",pT));

 	}

 extern "C" void __DebugMsgFMSignal(int a)

 	{

 	CHECK_PRECONDITIONS(MASK_KERNEL_LOCKED,"NFastMutex::Signal");			

 	__ASSERT_WITH_MESSAGE_DEBUG(TheScheduler.iCurrentThread->iHeldFastMutex==(NFastMutex*)a,"The calling thread doesn't hold the mutex","NFastMutex::Signal");	

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("FMSignal %M",a));

 	}

 extern "C" void __DebugMsgFMWait(int a)

 	{

 	CHECK_PRECONDITIONS(MASK_KERNEL_LOCKED_ONCE,"NFastMutex::Wait()");

 	__ASSERT_WITH_MESSAGE_DEBUG(!TheScheduler.iCurrentThread->iHeldFastMutex,"No fast mutex can be held.","NFastMutex::Wait");	

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("FMWait %M",a));

 	}

 extern "C" void __DebugMsgFMWaitYield(int a)

 	{

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("FMWait: YieldTo %T",a));

 	}

 extern "C" void __DebugMsgNKFMSignal(int a)

 	{

 	__ASSERT_WITH_MESSAGE_DEBUG(TheScheduler.iCurrentThread->iHeldFastMutex==(NFastMutex*)a,"The calling thread doesn't hold the mutex","NKern::FMSignal");	

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("NKFMSignal %M",a));

 	}

 extern "C" void __DebugMsgNKFMWait(int a)

 	{

 	__ASSERT_WITH_MESSAGE_DEBUG(!TheScheduler.iCurrentThread->iHeldFastMutex,"No fast mutex can be held.","NKern::FMWait");	

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("NKFMWait %M",a));

 	}

 extern "C" void __DebugMsgNKFMWaitYield(int a)

 	{

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("NKFMWait: YieldTo %T",a));

 	}

 extern "C" void __DebugMsgNKFMFlash(int a)

 	{

 	__ASSERT_WITH_MESSAGE_DEBUG(TheScheduler.iCurrentThread->iHeldFastMutex==(NFastMutex*)a,"The calling thread doesn't hold the mutex","NKern::FMFlash");	

 	__KTRACE_OPT(KNKERN,DEBUGPRINT("NKFMFlash %M",a));

 	}

 #endif

 #ifdef __FAST_SEM_MACHINE_CODED__

 extern "C" void PanicFastSemaphoreWait()

 	{

 	FAULT();

 	}

 #endif