return EFI_INVALID_PARAMETER;\r
}\r
\r
- gWinNt->QueryPerformanceCounter (TimerValue);\r
+ gWinNt->QueryPerformanceCounter ((LARGE_INTEGER *)TimerValue);\r
\r
if (TimerPeriod != NULL) {\r
*TimerPeriod = mTimerPeriod;\r
EFI_STATUS Status;\r
EFI_SMBIOS_HANDLE SmbiosHandle;\r
\r
- SmbiosHandle = 0;\r
+ SmbiosHandle = SMBIOS_HANDLE_PI_RESERVED;\r
Status = Smbios->Add (\r
Smbios,\r
NULL,\r
//\r
// Retrieve the frequency of the performance counter in Hz.\r
// \r
- gWinNt->QueryPerformanceFrequency (&Frequency);\r
+ gWinNt->QueryPerformanceFrequency ((LARGE_INTEGER *)&Frequency);\r
\r
//\r
// Convert frequency in Hz to a clock period in femtoseconds.\r