| Tom Rini | 83d290c | 2018-05-06 17:58:06 -0400 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0+ |
| Wei Ni | 87540de | 2012-10-17 13:24:50 +0000 | [diff] [blame] | 2 | /* |
| 3 | * (C) Copyright 2010 |
| 4 | * NVIDIA Corporation <www.nvidia.com> |
| Wei Ni | 87540de | 2012-10-17 13:24:50 +0000 | [diff] [blame] | 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> |
| Simon Glass | 2eb70de | 2015-04-14 21:03:35 -0600 | [diff] [blame] | 12 | #include <asm/arch-tegra/dc.h> |
| Wei Ni | 87540de | 2012-10-17 13:24:50 +0000 | [diff] [blame] | 13 | #include <asm/arch-tegra/clk_rst.h> |
| 14 | #include <asm/arch-tegra/timer.h> |
| 15 | |