哪些是任务调度函数？

tmos_start_task()是吗？

tmos_set_event()是吗？

如何在外设中断函数中，向任务发送消息或事件呢？

比如在外设中断函数中，通过SPI读取1个ADC采样数据，周期是12.5ms。那么后面的滤波流程和这个ISR怎样连接起来？TMOS的套路还不熟悉。

在中断服务函数置标志，通过TMOS或者while循环查询该标志，查询成功则在TMOS/while调用该任务。