--- a/kernel/eka/debug/crashMonitor/inc/scmbytestreamutil.inl	Wed Jun 23 12:58:21 2010 +0100
+++ b/kernel/eka/debug/crashMonitor/inc/scmbytestreamutil.inl	Thu Jul 01 17:57:33 2010 +0100
@@ -62,7 +62,9 @@
 	 */		
 	inline TUint64 TByteStreamReader::ReadInt64()
 		{
-		return  MAKE_TUINT64(ReadInt(), ReadInt()) ;
+		TUint32 high = ReadInt();
+		TUint32 low = ReadInt();
+		return  MAKE_TUINT64(high, low) ;
 		}
 	
 	/**