Module: xenomai-head Branch: master Commit: b669214ec3edf4d74d01a69a27ec006ba41749ba URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=b669214ec3edf4d74d01a69a27ec006ba41749ba
Author: Gilles Chanteperdrix <[email protected]> Date: Thu Sep 30 02:27:54 2010 +0200 nucleus: add a margin for early timer shots The margin is nktimerlat because, in case of early shots, we have at least one more timer programming to do. --- ksrc/nucleus/timer.c | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/ksrc/nucleus/timer.c b/ksrc/nucleus/timer.c index bb38fea..fc8b98e 100644 --- a/ksrc/nucleus/timer.c +++ b/ksrc/nucleus/timer.c @@ -365,7 +365,7 @@ void xntimer_tick_aperiodic(void) * by increasing values. */ delta = (xnsticks_t)(xntimerh_date(&timer->aplink) - now); - if (delta > (xnsticks_t)nklatency) + if (delta > (xnsticks_t)(nklatency + nktimerlat)) break; trace_mark(xn_nucleus, timer_expire, "timer %p", timer); @@ -802,7 +802,7 @@ xntbops_t nktimer_ops_periodic = { #endif /* CONFIG_XENO_OPT_TIMING_PERIODIC */ -/*! +/*! * \fn void xntimer_init(xntimer_t *timer,xntbase_t *base,void (*handler)(xntimer_t *timer)) * \brief Initialize a timer object. * @@ -884,7 +884,7 @@ void __xntimer_init(xntimer_t *timer, xntbase_t *base, } EXPORT_SYMBOL_GPL(__xntimer_init); -/*! +/*! * \fn void xntimer_destroy(xntimer_t *timer) * * \brief Release a timer object. @@ -910,7 +910,7 @@ EXPORT_SYMBOL_GPL(__xntimer_init); void xntimer_destroy(xntimer_t *timer) { spl_t s; - + xnlock_get_irqsave(&nklock, s); xntimer_stop(timer); __setbits(timer->status, XNTIMER_KILLED); _______________________________________________ Xenomai-git mailing list [email protected] https://mail.gna.org/listinfo/xenomai-git
