[Xenomai-git] Gilles Chanteperdrix : cobalt/arm: use ipipe_switch_mm_head instead of switch_mm

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

[Xenomai-git] Gilles Chanteperdrix : cobalt/arm: use ipipe_switch_mm_head instead of switch_mm

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