diff options
Diffstat (limited to 'common/timer.c')
| -rw-r--r-- | common/timer.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/timer.c b/common/timer.c index 550b9d20ea..bc36c87c49 100644 --- a/common/timer.c +++ b/common/timer.c @@ -94,6 +94,7 @@ void process_timers(int overflow) } while (next.val <= get_time().val); } +#ifndef CONFIG_HW_SPECIFIC_UDELAY void udelay(unsigned us) { unsigned t0 = __hw_clock_source_read(); @@ -111,6 +112,7 @@ void udelay(unsigned us) while (__hw_clock_source_read() - t0 < us) ; } +#endif int timer_arm(timestamp_t tstamp, task_id_t tskid) { |