Module: xenomai-gch
Branch: for-forge
Commit: 23057d1a2dfc8072efec01270d78777fa57b5a47
URL:    
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=23057d1a2dfc8072efec01270d78777fa57b5a47

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Fri Oct 25 08:30:39 2013 +0200

cobalt/arm: use ipipe_switch_mm_head instead of switch_mm

---

 kernel/cobalt/arch/arm/thread.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index 55313ab..2703352 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -276,7 +276,7 @@ void xnarch_switch_to(struct xnarchtcb *out_tcb, struct 
xnarchtcb *in_tcb)
                in_tcb->core.active_mm = prev_mm;
                enter_lazy_tlb(prev_mm, next);
        } else {
-               switch_mm(prev_mm, next_mm, next);
+               ipipe_switch_mm_head(prev_mm, next_mm, next);
                /*
                 * We might be switching back to the root thread,
                 * which we preempted earlier, shortly after "current"


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

Reply via email to