X-Git-Url: http://drtracing.org/?a=blobdiff_plain;f=arch%2FKconfig;h=99193b1602324dc0ff55759cd4cd5d2e3abccdc9;hb=d6a0967c90dced0a8baf502e6f3d5862fd5a5805;hp=dc81b34c5d82e72c574217d4b63bfda319e14530;hpb=2625240d0732ac259591ed54371bc01e7bbfdd14;p=deliverable%2Flinux.git

diff --git a/arch/Kconfig b/arch/Kconfig
index dc81b34c5d82..99193b160232 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -109,3 +109,8 @@ config HAVE_CLK
 
 config HAVE_DMA_API_DEBUG
 	bool
+
+config HAVE_DEFAULT_NO_SPIN_MUTEXES
+	bool
+
+source "kernel/gcov/Kconfig"