/*
 * Copyright (c) 2016-2019, NVIDIA CORPORATION.  All rights reserved.
 *
 * NVIDIA CORPORATION and its licensors retain all intellectual property
 * and proprietary rights in and to this software, related documentation
 * and any modifications thereto.  Any use, reproduction, disclosure or
 * distribution of this software and related documentation without an express
 * license agreement from NVIDIA CORPORATION is strictly prohibited.
 */

#ifndef PROCESSOR__TKE_TEGRA_HW_H
#define PROCESSOR__TKE_TEGRA_HW_H
#define FSP__PROCESSOR__TKE_TEGRA_HW_H                  1

extern struct tegra_tke_id tegra_tke_id_timer0;
extern struct tegra_tke_id tegra_tke_id_timer1;
extern struct tegra_tke_id tegra_tke_id_timer2;
extern struct tegra_tke_id tegra_tke_id_timer3;

#endif
