Wed, 05 Jul 2017 13:11:45 +0300fix target Xenomai missing functions
wuyangtang <wuyangtang@live.com> [Wed, 05 Jul 2017 13:11:45 +0300] rev 1717
fix target Xenomai missing functions