What is the supposed way to re-start a user timer if it has expired and the os_tmr_call has been called, since calling os_tmr_create is not allowed from within os_tmr_call? Thanks in advance.