UefiCpuPkg/CpuDxe: fix ECC reported issues

[mirror_edk2.git] / UefiCpuPkg / CpuDxe / CpuDxe.h

diff --git a/UefiCpuPkg/CpuDxe/CpuDxe.h b/UefiCpuPkg/CpuDxe/CpuDxe.h
index 7d65e39e90d9be9acacabfe28b4acb37edac839f..064ea05bbacec4a9556e9dbe494e1edfc90cd27c 100644 (file)
--- a/UefiCpuPkg/CpuDxe/CpuDxe.h
+++ b/UefiCpuPkg/CpuDxe/CpuDxe.h
@@ -291,7 +291,7 @@ RefreshGcdMemoryAttributesFromPaging (
 VOID\r
 EFIAPI\r
 DebugExceptionHandler (\r
-  IN EFI_EXCEPTION_TYPE   InterruptType,\r
+  IN EFI_EXCEPTION_TYPE   ExceptionType,\r
   IN EFI_SYSTEM_CONTEXT   SystemContext\r
   );\r
 \r
@@ -307,7 +307,7 @@ DebugExceptionHandler (
 VOID\r
 EFIAPI\r
 PageFaultExceptionHandler (\r
-  IN EFI_EXCEPTION_TYPE   InterruptType,\r
+  IN EFI_EXCEPTION_TYPE   ExceptionType,\r
   IN EFI_SYSTEM_CONTEXT   SystemContext\r
   );\r
 \r