Fix ICC build issues

[mirror_edk2.git] / Nt32Pkg / CpuRuntimeDxe / Cpu.c

diff --git a/Nt32Pkg/CpuRuntimeDxe/Cpu.c b/Nt32Pkg/CpuRuntimeDxe/Cpu.c
index bcce412a337d82dc2a5b7775be7b9878669f84dd..4ac12a4e1eab07fcd6ce7ed995e8d634b4f4377a 100644 (file)
--- a/Nt32Pkg/CpuRuntimeDxe/Cpu.c
+++ b/Nt32Pkg/CpuRuntimeDxe/Cpu.c
@@ -327,7 +327,7 @@ Returns:
     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
@@ -532,7 +532,7 @@ Returns:
   //\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