A workaround to a compiler bug that causes the high order 32 bits of GetPerformanceCo...

git-svn-id: https://edk2.tianocore.org/svn/edk2/trunk@1336 de2fecce-e211-0410-80a6-f3fac2684e05

diff --git a/edk2/MdePkg/Library/BaseTimerLibLocalApic/x86TimerLib.c b/edk2/MdePkg/Library/BaseTimerLibLocalApic/x86TimerLib.c
index dd240d8..fe18878 100644 (file)
--- a/edk2/MdePkg/Library/BaseTimerLibLocalApic/x86TimerLib.c
+++ b/edk2/MdePkg/Library/BaseTimerLibLocalApic/x86TimerLib.c
@@ -210,7 +210,8 @@ GetPerformanceCounter (
   VOID\r
   )\r
 {\r
-  return (UINT32)InternalX86GetTimerTick (InternalX86GetApicBase ());\r
+  volatile static UINT64 Mask = 0xffffffff;\r
+  return InternalX86GetTimerTick (InternalX86GetApicBase ()) & Mask;\r
 }\r
 \r
 /**\r