VOID\r
)\r
{\r
- volatile static UINT64 Mask = 0xffffffff;\r
- return InternalX86GetTimerTick (InternalX86GetApicBase ()) & Mask;\r
+ return (UINT32)InternalX86GetTimerTick (InternalX86GetApicBase ());\r
}\r
\r
/**\r
UINT64\r
EFIAPI\r
GetPerformanceCounterProperties (\r
- IN UINT64 *StartValue,\r
- IN UINT64 *EndValue\r
+ OUT UINT64 *StartValue, OPTIONAL\r
+ OUT UINT64 *EndValue OPTIONAL\r
)\r
{\r
UINTN ApicBase;\r