Fixed GetTimer procedure, see revision 7746

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7877 8c9fc860-2736-0410-a75d-ab315db34111

source/AMD64.FoxArrayBaseOptimized.Mod

@@ -4690,9 +4690,12 @@ VAR
 	*)
 
 	PROCEDURE -GetTimer( ): HUGEINT;
-	CODE {SYSTEM.Pentium}
+	CODE {SYSTEM.AMD64}
 		CPUID	;
-		RDTSC
+		XOR RAX, RAX
+		RDTSC	
+		SHL RDX, 32
+		OR RAX, RDX
 	END GetTimer;
 
 	PROCEDURE Tic( VAR t: HUGEINT );