diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user/timer.t | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/user/timer.t b/doc/user/timer.t index 0b99cd6637..17a6ab4cf7 100644 --- a/doc/user/timer.t +++ b/doc/user/timer.t @@ -515,9 +515,9 @@ preempted. @findex rtems_timer_initiate_server @example rtems_status_code rtems_timer_initiate_server( - rtems_unsigned32 priority, - rtems_unsigned32 stack_size, - rtems_attribute attribute_set + uint32_t priority, + uint32_t stack_size, + rtems_attribute attribute_set ) ); @end example |