diff -r af6ec97d9189 -r a232af6b0b1f kernel/eka/include/drivers/smppower/idlehelper.h
--- a/kernel/eka/include/drivers/smppower/idlehelper.h	Wed Jun 23 12:52:28 2010 +0100
+++ b/kernel/eka/include/drivers/smppower/idlehelper.h	Wed Jun 23 12:58:21 2010 +0100
@@ -171,7 +171,7 @@
 	static void ClearIdleIPI();
 	static void DoWFI();//puts current CPU in wait for interrupt state
 	static TBool IsIntPending();
-	static TUint32	IntPending();
+	static TInt	IntPending();
 	static TUint32 GetTimerCount();//HW timer can be used for tracing
 	//Atomic checks used to synchronise cores going idle
 	static TBool ClearLocalAndCheckGlobalIdle(TUint32);