sh: Use local TLB flush in set_pte_phys().

[linux-2.6] / arch / Kconfig

diff --git a/arch/Kconfig b/arch/Kconfig
index 78a35e9..99193b1 100644 (file)
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -112,3 +112,5 @@ config HAVE_DMA_API_DEBUG
 
 config HAVE_DEFAULT_NO_SPIN_MUTEXES
        bool
+
+source "kernel/gcov/Kconfig"