关于 CC3200 跑的 RTOS遇到的问题

关于CC3200里面跑的FreeRTOS， 我需要在 ISR需要触发 Task。

但是， 只找到以下函数可以使用：

osi_SyncObjCreate();

osi_SyncObjSignalFromISR();

osi_SyncObjWait();

结果 一直等待在 osi_SyncObjWait(&Obj, OSI_WAIT_FOREVER);

请问， 这几个 API是怎么使用的！？

是否能够提供相应的 Demo？

算是解决

用 osi_SyncObjSignal(); 是可以

而用 osi_SyncObjSignalFromISR() 就不行