873a72
diff --git a/lib/accelerated/x86/x86-common.c b/lib/accelerated/x86/x86-common.c
873a72
index cc67b08..e730ba0 100644
873a72
--- a/lib/accelerated/x86/x86-common.c
873a72
+++ b/lib/accelerated/x86/x86-common.c
873a72
@@ -37,6 +37,7 @@
873a72
 # include <sha-padlock.h>
873a72
 #endif
873a72
 #include <aes-padlock.h>
873a72
+#include <fips.h>
873a72
 
873a72
 /* ebx, ecx, edx 
873a72
  * This is a format compatible with openssl's CPUID detection.
873a72
@@ -581,7 +582,8 @@ void register_x86_crypto(void)
873a72
 	
873a72
 	register_x86_intel_crypto(capabilities);
873a72
 #ifdef ENABLE_PADLOCK
873a72
-	register_x86_padlock_crypto(capabilities);
873a72
+	if (_gnutls_fips_mode_enabled() != 1)
873a72
+		register_x86_padlock_crypto(capabilities);
873a72
 #endif
873a72
 }
873a72