Module: xenomai-2.6
Branch: master
Commit: b324fe46ce73aa374f942e2632909a5bb1aa441c
URL:    
http://git.xenomai.org/?p=xenomai-2.6.git;a=commit;h=b324fe46ce73aa374f942e2632909a5bb1aa441c

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Sun Dec 16 11:07:01 2012 +0100

hal: select IPIPE_WANT_ACTIVE_MM when needed

Starting with the I-pipe core for Linux 3.5, Xenomai should select the
CONFIG_IPIPE_WANT_ACTIVE_MM symbol when it is not possible to rely on
current->active_mm to get the current mm. This means:
- when unlocked context switches are enabled on powerpc and sh
- always on arm.

---

 ksrc/arch/arm/Kconfig     |    3 +++
 ksrc/arch/powerpc/Kconfig |    4 ++++
 ksrc/arch/sh/Kconfig      |    4 ++++
 3 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/ksrc/arch/arm/Kconfig b/ksrc/arch/arm/Kconfig
index f529210..f400faa 100644
--- a/ksrc/arch/arm/Kconfig
+++ b/ksrc/arch/arm/Kconfig
@@ -21,6 +21,9 @@ config IPIPE_WANT_PREEMPTIBLE_SWITCH
        default y if XENO_HW_UNLOCKED_SWITCH
        default n if !XENO_HW_UNLOCKED_SWITCH
 
+config IPIPE_WANT_ACTIVE_MM
+       def_bool y
+
 config SELECT_HW_UNLOCKED_SWITCH_ON_SMP
        bool
        select XENO_HW_UNLOCKED_SWITCH
diff --git a/ksrc/arch/powerpc/Kconfig b/ksrc/arch/powerpc/Kconfig
index 1f2eeb2..3a2c5fd 100644
--- a/ksrc/arch/powerpc/Kconfig
+++ b/ksrc/arch/powerpc/Kconfig
@@ -16,8 +16,12 @@ menu "Machine"
 
 depends on XENO_OPT_NUCLEUS
 
+config IPIPE_WANT_ACTIVE_MM
+        bool
+
 config IPIPE_WANT_PREEMPTIBLE_SWITCH
         bool
+       select IPIPE_WANT_ACTIVE_MM
        default y if XENO_HW_UNLOCKED_SWITCH
        default n if !XENO_HW_UNLOCKED_SWITCH
 
diff --git a/ksrc/arch/sh/Kconfig b/ksrc/arch/sh/Kconfig
index 1a960e2..bd56f57 100644
--- a/ksrc/arch/sh/Kconfig
+++ b/ksrc/arch/sh/Kconfig
@@ -8,8 +8,12 @@ menu "Machine"
 
 depends on XENO_OPT_NUCLEUS
 
+config IPIPE_WANT_ACTIVE_MM
+        bool
+
 config IPIPE_WANT_PREEMPTIBLE_SWITCH
         bool
+       select IPIPE_WANT_ACTIVE_MM
        default y if XENO_HW_UNLOCKED_SWITCH
        default n if !XENO_HW_UNLOCKED_SWITCH
 


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to