| /* | |
| * Copyright (c) 2011 The Chromium OS Authors. | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| /* Tegra20 timer functions */ | |
| #ifndef _TEGRA_TIMER_H | |
| #define _TEGRA_TIMER_H | |
| /* returns the current monotonic timer value in microseconds */ | |
| unsigned long timer_get_us(void); | |
| #endif |