--- a/kernel/eka/debug/crashMonitor/inc/scmbytestreamutil.inl	Thu Aug 19 11:14:22 2010 +0300
+++ b/kernel/eka/debug/crashMonitor/inc/scmbytestreamutil.inl	Tue Aug 31 16:34:26 2010 +0300
@@ -62,7 +62,9 @@
 	 */		
 	inline TUint64 TByteStreamReader::ReadInt64()
 		{
-		return  MAKE_TUINT64(ReadInt(), ReadInt()) ;
+		TUint32 high = ReadInt();
+		TUint32 low = ReadInt();
+		return  MAKE_TUINT64(high, low) ;
 		}
 	
 	/**