2012-10-17 13:24:50 +00:00
|
|
|
/*
|
|
|
|
* (C) Copyright 2010
|
|
|
|
* NVIDIA Corporation <www.nvidia.com>
|
|
|
|
*
|
2013-07-08 07:37:19 +00:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2012-10-17 13:24:50 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <common.h>
|
|
|
|
#include <asm/io.h>
|
|
|
|
#include <asm/arch/clock.h>
|
|
|
|
#include <asm/arch/tegra.h>
|
|
|
|
#include <asm/arch/display.h>
|
2015-04-15 03:03:35 +00:00
|
|
|
#include <asm/arch-tegra/dc.h>
|
2012-10-17 13:24:50 +00:00
|
|
|
#include <asm/arch-tegra/clk_rst.h>
|
|
|
|
#include <asm/arch-tegra/timer.h>
|
|
|
|
|