Module: xenomai-forge
Branch: master
Commit: 23057d1a2dfc8072efec01270d78777fa57b5a47
URL:
http://git.xenomai.org/?p=xenomai-forge.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
