[Xenomai-git] Philippe Gerum : cobalt/x86: fixup for kernel v3.13+

Module: xenomai-forge Branch: next Commit: 52b522ff73b7a3c722e8448049e490a5c89e68f7 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=52b522ff73b7a3c722e8448049e490a5c89e68f7 Author: Philippe Gerum Date: Mon Apr 7 15:39:11 2014 +0200 cobalt/x86: fixup for kernel v3.13+ --- ke

[Xenomai-git] Philippe Gerum : cobalt/x86: fixup for kernel v3.13+

Module: xenomai-forge Branch: next Commit: 769c21c3becc756232dc9ab18b5881a80a7388e1 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=769c21c3becc756232dc9ab18b5881a80a7388e1 Author: Philippe Gerum Date: Mon Apr 7 15:39:11 2014 +0200 cobalt/x86: fixup for kernel v3.13+ --- ke