diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-22 15:57:19 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-22 15:57:41 +0200 |
commit | 8854aec1526e32852e0ad74fbce13858c82561f1 (patch) | |
tree | 3d09a7a820ea9b7ee39ecc54cf3b475046500a26 | |
parent | build: Remove duplicated attributes (diff) | |
download | rtems-8854aec1526e32852e0ad74fbce13858c82561f1.tar.bz2 |
rtems: Mention timer server fire directives
A timer may be also reinitiated by the timer server fire directives.
-rw-r--r-- | cpukit/include/rtems/rtems/timer.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/cpukit/include/rtems/rtems/timer.h b/cpukit/include/rtems/rtems/timer.h index 4593feecf3..2683318e70 100644 --- a/cpukit/include/rtems/rtems/timer.h +++ b/cpukit/include/rtems/rtems/timer.h @@ -377,8 +377,9 @@ rtems_status_code rtems_timer_ident( rtems_name name, rtems_id *id ); * * This directive cancels the timer specified by ``id``. This timer will be * reinitiated by the next invocation of rtems_timer_reset(), - * rtems_timer_fire_after(), or rtems_timer_fire_when() with the same timer - * identifier. + * rtems_timer_fire_after(), rtems_timer_fire_when(), + * rtems_timer_server_fire_after(), or rtems_timer_server_fire_when() with the + * same timer identifier. * * @retval ::RTEMS_SUCCESSFUL The requested operation was successful. * |