diff --git a/OvmfPkg/PlatformDxe/Platform.c b/OvmfPkg/PlatformDxe/Platform.c
index a6d459f3df..4d432f18df 100644
--- a/OvmfPkg/PlatformDxe/Platform.c
+++ b/OvmfPkg/PlatformDxe/Platform.c
@@ -344,7 +344,7 @@ RouteConfig (
     Configuration
     ));
 
-  if (Progress == NULL) {
+  if ((Progress == NULL) || (Configuration == NULL)) {
     return EFI_INVALID_PARAMETER;
   }