diff --git a/hypervisor/arch/x86/lib/memory.c b/hypervisor/arch/x86/lib/memory.c
index 5e31c2079..b7157c5a8 100644
--- a/hypervisor/arch/x86/lib/memory.c
+++ b/hypervisor/arch/x86/lib/memory.c
@@ -53,7 +53,7 @@ int32_t memcpy_s(void *d, size_t dmax, const void *s, size_t slen)
 			memcpy_erms(d, s, slen);
 		}
 		ret = 0;
-	} else {
+	} else if (d != NULL) {
 		(void)memset(d, 0U, dmax);
 	}