This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / mach-tegra / board.h
blob1d14df7eb7de97946faa00ae790a16fc6ee3d461
1 /*
2 * arch/arm/mach-tegra/board.h
4 * Copyright (C) 2010 Google, Inc.
6 * Author:
7 * Colin Cross <ccross@google.com>
8 * Erik Gilling <konkers@google.com>
10 * This software is licensed under the terms of the GNU General Public
11 * License version 2, as published by the Free Software Foundation, and
12 * may be copied, distributed, and modified under those terms.
14 * This program is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Public License for more details.
21 #ifndef __MACH_TEGRA_BOARD_H
22 #define __MACH_TEGRA_BOARD_H
24 #include <linux/types.h>
26 void tegra_assert_system_reset(char mode, const char *cmd);
28 void __init tegra_init_early(void);
29 void __init tegra_map_common_io(void);
30 void __init tegra_init_irq(void);
31 void __init tegra_init_clock(void);
32 int __init tegra_pcie_init(bool init_port0, bool init_port1);
34 extern struct sys_timer tegra_timer;
35 #endif