/* Report Boot Perforamnce table address as report status code. */
VOID EFIAPI ReportFpdtRecordBuffer(IN EFI_EVENT Event, IN VOID *Context)
/* Report Boot Perforamnce table address as report status code. */
VOID EFIAPI ReportFpdtRecordBuffer(IN EFI_EVENT Event, IN VOID *Context)
{
  EFI_STATUS  Status;
  UINT64      BPDTAddr;
  if (!mFpdtBufferIsReported) {
    Status = AllocateBootPerformanceTable ();
    if (!EFI_ERROR (Status)) {
      BPDTAddr = (UINT64)(UINTN)mAcpiBootPerformanceTable;
      REPORT_STATUS_CODE_EX (
        EFI_PROGRESS_CODE,
        EFI_SOFTWARE_DXE_BS_DRIVER,
        0,
        NULL,
        &gEdkiiFpdtExtendedFirmwarePerformanceGuid,
        &BPDTAddr,
        sizeof (UINT64)
        );
      Status = gBS->InstallConfigurationTable (&gEdkiiFpdtExtendedFirmwarePerformanceGuid, (VOID *)(UINTN)BPDTAddr);
      ASSERT_EFI_ERROR (Status);
    }
    mFpdtBufferIsReported = TRUE;
  }
}