From 51d0100b3c711554f28ff990f484e79e053fd518 Mon Sep 17 00:00:00 2001 From: Jian J Wang Date: Sat, 8 Sep 2018 10:20:40 +0800 Subject: [PATCH] UefiCpuPkg/CpuDxe: fix ECC reported issues BZ#: https://bugzilla.tianocore.org/show_bug.cgi?id=1160 There're two parameters which have different name in comment and prototype. Cc: Dandan Bi Contributed-under: TianoCore Contribution Agreement 1.1 Signed-off-by: Jian J Wang Reviewed-by: Dandan Bi --- UefiCpuPkg/CpuDxe/CpuDxe.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/UefiCpuPkg/CpuDxe/CpuDxe.h b/UefiCpuPkg/CpuDxe/CpuDxe.h index 7d65e39e90..064ea05bba 100644 --- a/UefiCpuPkg/CpuDxe/CpuDxe.h +++ b/UefiCpuPkg/CpuDxe/CpuDxe.h @@ -291,7 +291,7 @@ RefreshGcdMemoryAttributesFromPaging ( VOID EFIAPI DebugExceptionHandler ( - IN EFI_EXCEPTION_TYPE InterruptType, + IN EFI_EXCEPTION_TYPE ExceptionType, IN EFI_SYSTEM_CONTEXT SystemContext ); @@ -307,7 +307,7 @@ DebugExceptionHandler ( VOID EFIAPI PageFaultExceptionHandler ( - IN EFI_EXCEPTION_TYPE InterruptType, + IN EFI_EXCEPTION_TYPE ExceptionType, IN EFI_SYSTEM_CONTEXT SystemContext ); -- 2.39.2