diff options
Diffstat (limited to 'board/sandbox/sandbox.c')
| -rw-r--r-- | board/sandbox/sandbox.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/board/sandbox/sandbox.c b/board/sandbox/sandbox.c index 80eaa6334c..592f7728c0 100644 --- a/board/sandbox/sandbox.c +++ b/board/sandbox/sandbox.c @@ -26,6 +26,7 @@ void flush_cache(unsigned long start, unsigned long size) { } +#ifndef CONFIG_TIMER /* system timer offset in ms */ static unsigned long sandbox_timer_offset; @@ -38,6 +39,7 @@ unsigned long timer_read_counter(void) { return os_get_nsec() / 1000 + sandbox_timer_offset * 1000; } +#endif int dram_init(void) { |
