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

2013-11-05 Thread git repository hosting
Module: xenomai-forge Branch: next Commit: 23057d1a2dfc8072efec01270d78777fa57b5a47 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=23057d1a2dfc8072efec01270d78777fa57b5a47 Author: Gilles Chanteperdrix Date: Fri Oct 25 08:30:39 2013 +0200 cobalt/arm: use ipipe_switch_mm_head in

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

2013-11-05 Thread git repository hosting
Module: xenomai-forge Branch: master Commit: 23057d1a2dfc8072efec01270d78777fa57b5a47 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=23057d1a2dfc8072efec01270d78777fa57b5a47 Author: Gilles Chanteperdrix Date: Fri Oct 25 08:30:39 2013 +0200 cobalt/arm: use ipipe_switch_mm_head

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

2013-11-05 Thread git repository hosting
Module: xenomai-gch Branch: for-forge Commit: 23057d1a2dfc8072efec01270d78777fa57b5a47 URL: http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=23057d1a2dfc8072efec01270d78777fa57b5a47 Author: Gilles Chanteperdrix Date: Fri Oct 25 08:30:39 2013 +0200 cobalt/arm: use ipipe_switch_mm_head i

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

2013-10-26 Thread git repository hosting
Module: xenomai-gch Branch: for-forge Commit: 9cdef0f32483cb638a0f7ff568557da1db2838ef URL: http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=9cdef0f32483cb638a0f7ff568557da1db2838ef Author: Gilles Chanteperdrix Date: Fri Oct 25 08:30:39 2013 +0200 cobalt/arm: use ipipe_switch_mm_head i