CHERTS, подскажи, плз...
В твоем ките есть пример hello_world, как самый простой. В нем в функции user_main() используются методы os_timer_disarm, os_timer_setfn и os_timer_arm. В хедерах есть макросы, которые перенаправляют их под другими именами. Но объявлений таких (и многих других)...