diff --git a/PerformancePkg/Library/TscTimerLib/DxeTscTimerLib.c b/PerformancePkg/Library/TscTimerLib/DxeTscTimerLib.c
index c5a789428b..c540d420da 100644
--- a/PerformancePkg/Library/TscTimerLib/DxeTscTimerLib.c
+++ b/PerformancePkg/Library/TscTimerLib/DxeTscTimerLib.c
@@ -59,11 +59,13 @@ DxeTscTimerLibConstructor (
   EFI_STATUS  Status;
   UINT64      *TscFrequency;
 
+  TscFrequency = NULL;
   //
   // Get TSC frequency from system configuration table with TSC frequency GUID.
   //
   Status = EfiGetSystemConfigurationTable (&gEfiTscFrequencyGuid, (VOID **) &TscFrequency);
   if (Status == EFI_SUCCESS) {
+    ASSERT (TscFrequency != NULL);
     mTscFrequency = *TscFrequency;
     return EFI_SUCCESS;
   }