timer.c

1// Copyright 2023 Sergey Vlasov (@sigprof)
2// SPDX-License-Identifier: GPL-2.0-or-later
3
4#include "timer.h"
5
6// Generate out-of-line copies for inline functions defined in timer.h.
7extern inline fast_timer_t timer_read_fast(void);
8extern inline fast_timer_t timer_elapsed_fast(fast_timer_t last);