diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-04-04 18:19:55 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-04-04 18:19:55 +0000 |
| commit | 60d63e9970553058597fd78941a7fa0ecb4f374b (patch) | |
| tree | b1dc6b1231b678f3cea51e090f0fba7fdda415d3 /os/rt/include | |
| parent | 106e228ec4af8bbca1b6dc083491d457e02de0b5 (diff) | |
| download | ChibiOS-60d63e9970553058597fd78941a7fa0ecb4f374b.tar.gz ChibiOS-60d63e9970553058597fd78941a7fa0ecb4f374b.tar.bz2 ChibiOS-60d63e9970553058597fd78941a7fa0ecb4f374b.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7853 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/include')
| -rw-r--r-- | os/rt/include/chvt.h | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/os/rt/include/chvt.h b/os/rt/include/chvt.h index ae26beacf..fe70aef03 100644 --- a/os/rt/include/chvt.h +++ b/os/rt/include/chvt.h @@ -494,17 +494,6 @@ static inline void chVTDoTickI(void) { vtp = ch.vtlist.vt_next;
now = chVTGetSystemTimeX();
- /* The list is assumed to be non-empty because an tick interrupt just
- occurred.*/
- chDbgAssert(&ch.vtlist != (virtual_timers_list_t *)vtp,
- "timers list empty");
-
- /* The timer time is assumed to be between "vt_lasttime" and "now".*/
- chDbgAssert(chVTIsTimeWithinX(ch.vtlist.vt_lasttime + vtp->vt_delta,
- ch.vtlist.vt_lasttime,
- now + 1),
- "out of time window");
-
/* All timers within the time window are triggered and removed,
note that the loop is stopped by the timers header having
"ch.vtlist.vt_delta == (systime_t)-1" which is greater than
|