2 * SPDX-License-Identifier: GPL-2.0+
8 unsigned long get_timer(unsigned long base);
11 * Return the current value of a monotonically increasing microsecond timer.
12 * Granularity may be larger than 1us if hardware does not support this.
14 unsigned long timer_get_us(void);