os_tmr_kill

#include <rtl.h>

OS_ID os_tmr_kill (
    OS_ID timer );    /* ID of the timer to kill */

The os_tmr_kill function deletes the timer identified by the function argument. timer is a user timer that was created using the os_tmr_create function. If you delete the timer before it expires, the os_tmr_call callback function does not get called.

The os_tmr_kill function is in the RL-RTX library. The prototype is defined in rtl.h.

• Do not call os_tmr_kill for an expired user timer. It has already been deleted by the system.

The os_tmr_kill function returns NULL if the timer is killed successfully. Otherwise, it returns the timer value.

os_tmr_call, os_tmr_create

#include <rtl.h>

OS_TID tsk1;
OS_ID  tmr1;

__task void task1 (void) {
   ..
  if (os_tmr_kill (tmr1) != NULL) {
    printf ("\nThis timer is not on the list.");
  }
  else {
    printf ("\nTimer killed.");
  }
   ..
}