From f331481c9d939c94133950f2090636c2450abe83 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Fri, 27 Mar 1998 13:24:52 +0000 Subject: Conditionally adding RTEMS_ and rtems_ prefixes. --- doc/user/timer.t | 52 ++++++++++++++++++++++++++-------------------------- 1 file changed, 26 insertions(+), 26 deletions(-) (limited to 'doc/user/timer.t') diff --git a/doc/user/timer.t b/doc/user/timer.t index e8bc99a14a..2f4538a12b 100644 --- a/doc/user/timer.t +++ b/doc/user/timer.t @@ -28,13 +28,13 @@ The timer manager provides support for timer facilities. The directives provided by the timer manager are: @itemize @bullet -@item @code{timer_create} - Create a timer -@item @code{timer_ident} - Get ID of a timer -@item @code{timer_cancel} - Cancel a timer -@item @code{timer_delete} - Delete a timer -@item @code{timer_fire_after} - Fire timer after interval -@item @code{timer_fire_when} - Fire timer when specified -@item @code{timer_reset} - Reset an interval timer +@item @code{@value{DIRPREFIX}timer_create} - Create a timer +@item @code{@value{DIRPREFIX}timer_ident} - Get ID of a timer +@item @code{@value{DIRPREFIX}timer_cancel} - Cancel a timer +@item @code{@value{DIRPREFIX}timer_delete} - Delete a timer +@item @code{@value{DIRPREFIX}timer_fire_after} - Fire timer after interval +@item @code{@value{DIRPREFIX}timer_fire_when} - Fire timer when specified +@item @code{@value{DIRPREFIX}timer_reset} - Reset an interval timer @end itemize @@ -258,9 +258,9 @@ procedure Timer_Create ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer created successfully@* -@code{INVALID_NAME} - invalid timer name@* -@code{TOO_MANY} - too many timers created +@code{@value{RPREFIX}SUCCESSFUL} - timer created successfully@* +@code{@value{RPREFIX}INVALID_NAME} - invalid timer name@* +@code{@value{RPREFIX}TOO_MANY} - too many timers created @subheading DESCRIPTION: @@ -303,8 +303,8 @@ procedure Timer_Ident ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer identified successfully@* -@code{INVALID_NAME} - timer name not found +@code{@value{RPREFIX}SUCCESSFUL} - timer identified successfully@* +@code{@value{RPREFIX}INVALID_NAME} - timer name not found @subheading DESCRIPTION: @@ -346,8 +346,8 @@ procedure Timer_Cancel ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer canceled successfully@* -@code{INVALID_ID} - invalid timer id +@code{@value{RPREFIX}SUCCESSFUL} - timer canceled successfully@* +@code{@value{RPREFIX}INVALID_ID} - invalid timer id @subheading DESCRIPTION: @@ -385,8 +385,8 @@ procedure Timer_Delete ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer deleted successfully@* -@code{INVALID_ID} - invalid timer id +@code{@value{RPREFIX}SUCCESSFUL} - timer deleted successfully@* +@code{@value{RPREFIX}INVALID_ID} - invalid timer id @subheading DESCRIPTION: @@ -434,9 +434,9 @@ procedure Timer_Fire_After ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer initiated successfully@* -@code{INVALID_ID} - invalid timer id@* -@code{INVALID_NUMBER} - invalid interval +@code{@value{RPREFIX}SUCCESSFUL} - timer initiated successfully@* +@code{@value{RPREFIX}INVALID_ID} - invalid timer id@* +@code{@value{RPREFIX}INVALID_NUMBER} - invalid interval @subheading DESCRIPTION: @@ -484,10 +484,10 @@ procedure Timer_Fire_When ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer initiated successfully@* -@code{INVALID_ID} - invalid timer id@* -@code{NOT_DEFINED} - system date and time is not set@* -@code{INVALID_CLOCK} - invalid time of day +@code{@value{RPREFIX}SUCCESSFUL} - timer initiated successfully@* +@code{@value{RPREFIX}INVALID_ID} - invalid timer id@* +@code{@value{RPREFIX}NOT_DEFINED} - system date and time is not set@* +@code{@value{RPREFIX}INVALID_CLOCK} - invalid time of day @subheading DESCRIPTION: @@ -529,9 +529,9 @@ procedure Timer_Reset ( @end ifset @subheading DIRECTIVE STATUS CODES: -@code{SUCCESSFUL} - timer reset successfully@* -@code{INVALID_ID} - invalid timer id@* -@code{NOT_DEFINED} - attempted to reset a when or newly created timer +@code{@value{RPREFIX}SUCCESSFUL} - timer reset successfully@* +@code{@value{RPREFIX}INVALID_ID} - invalid timer id@* +@code{@value{RPREFIX}NOT_DEFINED} - attempted to reset a when or newly created timer @subheading DESCRIPTION: -- cgit v1.2.3