--- a/kernel/eka/drivers/power/smppower/idlehelper.cpp	Wed Jul 21 14:46:58 2010 +0100
+++ b/kernel/eka/drivers/power/smppower/idlehelper.cpp	Thu Jul 22 16:46:39 2010 +0100
@@ -1,4 +1,4 @@
-// Copyright (c) 2008-2010 Nokia Corporation and/or its subsidiary(-ies).
+// Copyright (c) 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 "Eclipse Public License v1.0"
@@ -70,7 +70,7 @@
 
 TBool TIdleSupport::IsIntPending()
 	{
-	return (IntPending()!=KNoInterruptsPending);
+	return ((TUint32)IntPending()!=KNoInterruptsPending);
 	}
 		
 /**
@@ -190,7 +190,8 @@
 /**
    mark a core as retired
 
-   @pre called by idle handler
+   @pre called by idle handler as part of idle entry before 
+          any syncpoint or calls to SetLocalAndCheckSetGlobalIdle
 */	
 void TIdleSupport::MarkCoreRetired(TUint32 aCpuMask)
     {
@@ -200,7 +201,8 @@
 
 /**
    mark a core as enaged
-   @pre called outside idle handler
+   @pre called outside idle handler ( can be called in idle entry before 
+        any syncpoint or calls to SetLocalAndCheckSetGlobalIdle
  */	
 void TIdleSupport::MarkCoreEngaged(TUint32 aCpuMask)
     {