diff options
Diffstat (limited to 'src/chinit.c')
| -rw-r--r-- | src/chinit.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/chinit.c b/src/chinit.c index e57c0614e..06ee2fc9b 100644 --- a/src/chinit.c +++ b/src/chinit.c @@ -66,7 +66,8 @@ void chSysInit(void) { */
void chSysTimerHandlerI(void) {
- rlist.r_preempt--;
+ if (rlist.r_preempt > 0)
+ rlist.r_preempt--;
#ifdef CH_USE_SYSTEMTIME
rlist.r_stime++;
#endif
|