1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * (C) Copyright 2010 4 * NVIDIA Corporation <www.nvidia.com> 5 */ 6 7#include <common.h> 8#include <asm/io.h> 9#include <asm/arch/clock.h> 10#include <asm/arch/tegra.h> 11#include <asm/arch/display.h> 12#include <asm/arch-tegra/dc.h> 13#include <asm/arch-tegra/clk_rst.h> 14#include <asm/arch-tegra/timer.h> 15 16