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