/* SPDX-License-Identifier: GPL-2.0-only */

#include <device/mmio.h>
#include <soc/addressmap.h>
#include <timer.h>

void timer_monotonic_get(struct mono_time *mt)
{
	mono_time_set_usecs(mt, read32((void *)TEGRA_TMRUS_BASE));
}