diff --git a/library/x509_crl.c b/library/x509_crl.c
index 90ceabd..60a54f2 100644
--- a/library/x509_crl.c
+++ b/library/x509_crl.c
@@ -545,7 +545,8 @@
 }
 #endif /* POLARSSL_FS_IO */
 
-#if defined(_MSC_VER) && !defined snprintf
+#if defined(_MSC_VER) && !defined snprintf && !defined(EFIX64) && \
+    !defined(EFI32)
 #include <stdarg.h>
 
 #if !defined vsnprintf