diff --git a/library/x509.c b/library/x509.c
index 27040b9..2ba1e86 100644
--- a/library/x509.c
+++ b/library/x509.c
@@ -429,7 +429,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