Changeset 99404 in vbox for trunk/src/VBox/Devices/EFI/FirmwareNew/PcAtChipsetPkg/Library/AcpiTimerLib/PeiAcpiTimerLib.c

Timestamp:

Apr 14, 2023 3:17:44 PM (23 months ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

156854

Message:

Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it build, bugref:4643

Location:

trunk/src/VBox/Devices/EFI/FirmwareNew

Files:

• . (modified) (1 prop)
• PcAtChipsetPkg/Library/AcpiTimerLib/PeiAcpiTimerLib.c (modified) (2 diffs)

trunk/src/VBox/Devices/EFI/FirmwareNew/PcAtChipsetPkg/Library/AcpiTimerLib/PeiAcpiTimerLib.c

@@ -13 +13 @@
 #include <Library/DebugLib.h>
 
-extern GUID mFrequencyHobGuid;
+extern GUID  mFrequencyHobGuid;
 
 /**
@@ -48 +48 @@
   )
 {
-  UINT64              *PerformanceCounterFrequency;
-  EFI_HOB_GUID_TYPE   *GuidHob;
+  UINT64             *PerformanceCounterFrequency;
+  EFI_HOB_GUID_TYPE  *GuidHob;
 
   PerformanceCounterFrequency = NULL;
-  GuidHob = GetFirstGuidHob (&mFrequencyHobGuid);
+  GuidHob                     = GetFirstGuidHob (&mFrequencyHobGuid);
   if (GuidHob == NULL) {
-    PerformanceCounterFrequency  = (UINT64*)BuildGuidHob(&mFrequencyHobGuid, sizeof (*PerformanceCounterFrequency));
+    PerformanceCounterFrequency = (UINT64 *)BuildGuidHob (&mFrequencyHobGuid, sizeof (*PerformanceCounterFrequency));
     ASSERT (PerformanceCounterFrequency != NULL);
     *PerformanceCounterFrequency = InternalCalculateTscFrequency ();
   } else {
-    PerformanceCounterFrequency = (UINT64*)GET_GUID_HOB_DATA (GuidHob);
+    PerformanceCounterFrequency = (UINT64 *)GET_GUID_HOB_DATA (GuidHob);
   }
 
-  return  *PerformanceCounterFrequency;
+  return *PerformanceCounterFrequency;
 }