1 // Copyright (c) 1997-2009 Nokia Corporation and/or its subsidiary(-ies).

     2 // All rights reserved.

     3 // This component and the accompanying materials are made available

     4 // under the terms of the License "Eclipse Public License v1.0"

     5 // which accompanies this distribution, and is available

     6 // at the URL "http://www.eclipse.org/legal/epl-v10.html".

     7 //

     8 // Initial Contributors:

     9 // Nokia Corporation - initial contribution.

    10 //

    11 // Contributors:

    12 //

    13 // Description:

    14 // e32\memmodel\epoc\direct\arm\xsched.cpp

    15 // 

    16 //

    17 

    18 #include "arm_mem.h"

    19 

    20 #define iMState		iWaitLink.iSpare1

    21 

    22 #ifdef __SCHEDULER_MACHINE_CODED__

    23 

    24 #if defined(_DEBUG)

    25 extern "C" void __DebugMsgDThreadRequestComplete(TInt a0, TInt a1)

    26 	{

    27 	DThread* pT=(DThread*)a0;

    28 	__KTRACE_OPT(KDATAPAGEWARN,Kern::Printf("Data paging: Use of deprecated DThread::RequestComplete API by %O at %08x", pT, a1));

    29 	}

    30 

    31 extern "C" void __DebugMsgRequestComplete(TInt a0, TInt a1, TInt a2)

    32 	{

    33 	DThread* pT=(DThread*)a0;

    34 	__KTRACE_OPT(KTHREAD,Kern::Printf("Thread %O RequestComplete %08x %d",pT,a1,a2));

    35 	__KTRACE_OPT(KDATAPAGEWARN,Kern::Printf("Data paging: Use of deprecated Kern::RequestComplete API by %O", TheCurrentThread));

    36 	}

    37 

    38 extern "C" void __DebugMsgReqCompleteWrite(TInt a0, TInt a1, TInt a2)

    39 	{

    40 	__KTRACE_OPT(KTHREAD,Kern::Printf("Writing %d to %08x",a2,a0+a1));

    41 	}

    42 #endif

    43 #endif

    44