# CONFIG_TEGRA186_TIMER is not set
