commit cc0f5f3878e1aa95544193d4e85bb12f1ee1ce02
author Lawrence Tang <lawrence.tang@arm.com> Wed Jul 06 17:17:26 2022 +0100
committer Lawrence Tang <lawrence.tang@arm.com> Wed Jul 06 17:17:26 2022 +0100
tree b67df8c48b43fadb31c9397fefae7c0078829942
parent b98ec66c23ae1dc6523f778a2376f2d835506afb

Fix broken IPF GUID from EDK.

edk/Cper.h

diff --git a/edk/Cper.h b/edk/Cper.h
index 536858f..5a6d2b2 100644
--- a/edk/Cper.h
+++ b/edk/Cper.h
@@ -1253,8 +1253,7 @@
 extern EFI_GUID   gEfiProcessorGenericErrorSectionGuid;

 extern EFI_GUID   gEfiProcessorSpecificErrorSectionGuid;

 extern EFI_GUID   gEfiIa32X64ProcessorErrorSectionGuid;

-//todo: Why does the IPF GUID have an excess of elements?

-//extern EFI_GUID   gEfiIpfProcessorErrorSectionGuid;

+extern EFI_GUID   gEfiIpfProcessorErrorSectionGuid;

 extern EFI_GUID   gEfiArmProcessorErrorSectionGuid;

 extern EFI_GUID   gEfiPlatformMemoryErrorSectionGuid;

 extern EFI_GUID   gEfiPlatformMemoryError2SectionGuid;