RTOS移植头文件semaphore头文件找不到

[qwq]

RTOS移植头文件semaphore找不到，刚开始怀疑版本不对因为pack包里没有CMSIS，后来更新后也还是找不到，帮帮忙看什么情况