diff options
Diffstat (limited to 'platforms/timer.h')
| -rw-r--r-- | platforms/timer.h | 16 | 
1 files changed, 12 insertions, 4 deletions
| diff --git a/platforms/timer.h b/platforms/timer.h index 02e39e79e7..d55f40f0b0 100644 --- a/platforms/timer.h +++ b/platforms/timer.h @@ -52,14 +52,22 @@ uint32_t timer_elapsed32(uint32_t last);  #    define TIMER_DIFF_FAST(a, b) TIMER_DIFF_16(a, b)  #    define timer_expired_fast(current, future) timer_expired(current, future)  typedef uint16_t fast_timer_t; -fast_timer_t inline timer_read_fast(void) { return timer_read(); } -fast_timer_t inline timer_elapsed_fast(fast_timer_t last) { return timer_elapsed(last); } +fast_timer_t inline timer_read_fast(void) { +    return timer_read(); +} +fast_timer_t inline timer_elapsed_fast(fast_timer_t last) { +    return timer_elapsed(last); +}  #else  #    define TIMER_DIFF_FAST(a, b) TIMER_DIFF_32(a, b)  #    define timer_expired_fast(current, future) timer_expired32(current, future)  typedef uint32_t fast_timer_t; -fast_timer_t inline timer_read_fast(void) { return timer_read32(); } -fast_timer_t inline timer_elapsed_fast(fast_timer_t last) { return timer_elapsed32(last); } +fast_timer_t inline timer_read_fast(void) { +    return timer_read32(); +} +fast_timer_t inline timer_elapsed_fast(fast_timer_t last) { +    return timer_elapsed32(last); +}  #endif  #ifdef __cplusplus | 
