Wei Ni | 87540de | 2012-10-17 13:24:50 +0000 | [diff] [blame] | 1 | /* |
| 2 | * (C) Copyright 2010 |
| 3 | * NVIDIA Corporation <www.nvidia.com> |
| 4 | * |
Wolfgang Denk | 1a45966 | 2013-07-08 09:37:19 +0200 | [diff] [blame] | 5 | * SPDX-License-Identifier: GPL-2.0+ |
Wei Ni | 87540de | 2012-10-17 13:24:50 +0000 | [diff] [blame] | 6 | */ |
| 7 | |
| 8 | #include <common.h> |
| 9 | #include <asm/io.h> |
| 10 | #include <asm/arch/clock.h> |
| 11 | #include <asm/arch/tegra.h> |
| 12 | #include <asm/arch/display.h> |
Simon Glass | 2eb70de | 2015-04-14 21:03:35 -0600 | [diff] [blame] | 13 | #include <asm/arch-tegra/dc.h> |
Wei Ni | 87540de | 2012-10-17 13:24:50 +0000 | [diff] [blame] | 14 | #include <asm/arch-tegra/clk_rst.h> |
| 15 | #include <asm/arch-tegra/timer.h> |
| 16 | |