/* This is used to install ACPI Firmware Performance Data Table for basic boot records. */
VOID EFIAPI FpdtEndOfDxeEventNotify(IN EFI_EVENT Event, IN VOID *Context)
/* This is used to install ACPI Firmware Performance Data Table for basic boot records. */
VOID EFIAPI FpdtEndOfDxeEventNotify(IN EFI_EVENT Event, IN VOID *Context)
{
  if ((PcdGet8 (PcdPerformanceLibraryPropertyMask) & PERFORMANCE_LIBRARY_PROPERTY_MEASUREMENT_ENABLED) != 0) {
    return;
  }
  ASSERT (mReceivedAcpiBootPerformanceTable == NULL);
  InstallFirmwarePerformanceDataTable ();
}