RTEMS Ada User's Guide
The rtems.timer_delete directive is used to delete a timer.
If the timer is running and has not expired, the timer is
automatically canceled. The timer's control block is returned
to the TMCB free list when it is deleted. A timer can be
deleted by a task other than the task which created the timer.
Any subsequent references to the timer's name and ID are invalid.
RTEMS Ada User's Guide
Copyright © 1988-2004 OAR Corporation