--- a/kernel/eka/include/nkernsmp/nkern.h	Wed Jun 23 12:52:28 2010 +0100
+++ b/kernel/eka/include/nkernsmp/nkern.h	Wed Jun 23 12:58:21 2010 +0100
@@ -1243,7 +1243,7 @@
 class TStopIPI : public TGenericIPI
 	{
 public:
-	void StopCPUs();
+	TUint32 StopCPUs();
 	void ReleaseCPUs();
 	static void Isr(TGenericIPI*);
 public: