| // SPDX-License-Identifier: GPL-2.0+ | |
| /* | |
| * (C) Copyright 2010 | |
| * NVIDIA Corporation <www.nvidia.com> | |
| */ | |
| #include <asm/io.h> | |
| #include <asm/arch/clock.h> | |
| #include <asm/arch/tegra.h> | |
| #include <asm/arch/display.h> | |
| #include <asm/arch-tegra/dc.h> | |
| #include <asm/arch-tegra/clk_rst.h> | |
| #include <asm/arch-tegra/timer.h> |