1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (c) 2011 The Chromium OS Authors.
4  */
5 
6 /* Tegra20 timer functions */
7 
8 #ifndef _TEGRA_TIMER_H
9 #define _TEGRA_TIMER_H
10 
11 /* returns the current monotonic timer value in microseconds */
12 unsigned long timer_get_us(void);
13 
14 #endif
15