gcov: add gcov profiling infrastructure
[linux-2.6.git] / arch / Kconfig
index a092dc7..99193b1 100644 (file)
@@ -107,3 +107,10 @@ config HAVE_CLK
          The <linux/clk.h> calls support software clock gating and
          thus are a key power management tool on many systems.
 
+config HAVE_DMA_API_DEBUG
+       bool
+
+config HAVE_DEFAULT_NO_SPIN_MUTEXES
+       bool
+
+source "kernel/gcov/Kconfig"