From da0de3284e635b3fbb4beffd536afcc2956d167e Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Sat, 9 Aug 2014 06:41:38 -0600 Subject: [PATCH] Fix errors in documentation and comments related to the Tickless OS. From Vijay Kumar --- Documentation/NuttxPortingGuide.html | 6 +++--- arch/sim/src/up_tickless.c | 13 +++++++------ include/nuttx/arch.h | 11 ++++++----- 3 files changed, 16 insertions(+), 14 deletions(-) diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html index 285bbac213..f1ac98246d 100644 --- a/Documentation/NuttxPortingGuide.html +++ b/Documentation/NuttxPortingGuide.html @@ -2569,7 +2569,7 @@ int up_timer_gettime(FAR struct timespec *ts); int up_timer_cancel(FAR struct timespec *ts);

Description:

- Cancel the interval timer and return the time remaining on the timer. These two steps need to be as nearly atomic as possible. up_timer_expiration() will not be called unless the timer is restarted with up_timer_start(). If, as a race condition, the timer has already expired when this function is called, then that pending interrupt must be cleared so that up_timer_expiration() is not called spuriously and the remaining time of zero should be returned. + Cancel the interval timer and return the time remaining on the timer. These two steps need to be as nearly atomic as possible. sched_timer_expiration() will not be called unless the timer is restarted with up_timer_start(). If, as a race condition, the timer has already expired when this function is called, then that pending interrupt must be cleared so that sched_timer_expiration() is not called spuriously and the remaining time of zero should be returned.

Input Parameters:

@@ -2592,12 +2592,12 @@ int up_timer_cancel(FAR struct timespec *ts); int up_timer_start(FAR const struct timespec *ts);

Description:

- Start the interval timer. up_timer_expiration() will be called at the completion of the timeout (unless up_timer_cancel() is called to stop the timing). + Start the interval timer. sched_timer_expiration() will be called at the completion of the timeout (unless up_timer_cancel() is called to stop the timing).

Input Parameters:

Returned Value: