--- a/kernel/eka/include/nkernsmp/nkern.h	Wed Jul 21 14:46:58 2010 +0100
+++ b/kernel/eka/include/nkernsmp/nkern.h	Thu Jul 22 16:46:39 2010 +0100
@@ -1243,7 +1243,7 @@
 class TStopIPI : public TGenericIPI
 	{
 public:
-	void StopCPUs();
+	TUint32 StopCPUs();
 	void ReleaseCPUs();
 	static void Isr(TGenericIPI*);
 public: