VOID\r
)\r
{\r
- return InternalX86GetTimerTick (InternalX86GetApicBase ());\r
+ return (UINT64)(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
*EndValue = 0;\r
}\r
\r
- return InternalX86GetTimerFrequency (ApicBase);\r
+ return (UINT64)InternalX86GetTimerFrequency (ApicBase);\r
}\r