--- a/kernel/eka/include/nkernsmp/nkern.h	Wed Jun 23 19:44:53 2010 +0300
+++ b/kernel/eka/include/nkernsmp/nkern.h	Tue Jul 06 15:50:07 2010 +0300
@@ -1243,7 +1243,7 @@
 class TStopIPI : public TGenericIPI
 	{
 public:
-	void StopCPUs();
+	TUint32 StopCPUs();
 	void ReleaseCPUs();
 	static void Isr(TGenericIPI*);
 public: