* @brief Deletes a timer. * * This system call deletes the specified timer and releases any resources associated * with it. Once the timer is deleted, it can no longer be used, and any further * operations on the timer (such as starting or stopping) will result in an error. * * @param[in] timerid The ID of the timer to be deleted. This is the timer handle * returned by
| 3097 | * as deleting an active timer may cause unexpected behavior or resource leaks. |
| 3098 | */ |
| 3099 | sysret_t sys_timer_delete(timer_t timerid) |
| 3100 | { |
| 3101 | int ret = timer_delete(timerid); |
| 3102 | return (ret < 0 ? GET_ERRNO() : ret); |
| 3103 | } |
| 3104 | |
| 3105 | /** |
| 3106 | * @brief Changes the time or interval of an existing timer. |
nothing calls this directly
no test coverage detected