Module: xenomai-forge Branch: next 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