diff options
Diffstat (limited to 'common/timer.c')
| -rw-r--r-- | common/timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/timer.c b/common/timer.c index 117cea4b71..776d1b8a62 100644 --- a/common/timer.c +++ b/common/timer.c @@ -77,7 +77,7 @@ void process_timers(int overflow) next.le.lo)) next.val = timer_deadline[tskid].val; - check_timer &= ~(1 << tskid); + check_timer &= ~BIT(tskid); } /* if there is a new timer, let's retry */ } while (timer_running & ~running_t0); |