summaryrefslogtreecommitdiff
path: root/Nt32Pkg/CpuRuntimeDxe
diff options
context:
space:
mode:
authormdkinney <mdkinney@6f19259b-4bc3-4df7-8a09-765794883524>2011-06-09 00:11:28 +0000
committermdkinney <mdkinney@6f19259b-4bc3-4df7-8a09-765794883524>2011-06-09 00:11:28 +0000
commit1b65880229e0639d17f0491bbf93419a546b3bcd (patch)
treecb0d54e7630837f43641a46b5c80d1d5236a8ddf /Nt32Pkg/CpuRuntimeDxe
parent21ce7a41791e461f5d92f6ce3c712b8dd1f33a54 (diff)
downloadedk2-platforms-1b65880229e0639d17f0491bbf93419a546b3bcd.tar.xz
Fix ICC build issues
git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@11773 6f19259b-4bc3-4df7-8a09-765794883524
Diffstat (limited to 'Nt32Pkg/CpuRuntimeDxe')
-rw-r--r--Nt32Pkg/CpuRuntimeDxe/Cpu.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/Nt32Pkg/CpuRuntimeDxe/Cpu.c b/Nt32Pkg/CpuRuntimeDxe/Cpu.c
index bcce412a33..4ac12a4e1e 100644
--- a/Nt32Pkg/CpuRuntimeDxe/Cpu.c
+++ b/Nt32Pkg/CpuRuntimeDxe/Cpu.c
@@ -327,7 +327,7 @@ Returns:
return EFI_INVALID_PARAMETER;
}
- gWinNt->QueryPerformanceCounter (TimerValue);
+ gWinNt->QueryPerformanceCounter ((LARGE_INTEGER *)TimerValue);
if (TimerPeriod != NULL) {
*TimerPeriod = mTimerPeriod;
@@ -532,7 +532,7 @@ Returns:
//
// Retrieve the frequency of the performance counter in Hz.
//
- gWinNt->QueryPerformanceFrequency (&Frequency);
+ gWinNt->QueryPerformanceFrequency ((LARGE_INTEGER *)&Frequency);
//
// Convert frequency in Hz to a clock period in femtoseconds.