没有定义，看一下最上面的头文件。

通过看最上面的头文件引入，可以看到信号量头文件已经有了，那很明显就是类型的兼容的问题，打开MenuConfig开启向后兼容API的选项。

问题解决。