1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * arch/arm/mach-tegra/board.h
5 * Copyright (c) 2013 NVIDIA Corporation. All rights reserved.
6 * Copyright (C) 2010 Google, Inc.
9 * Colin Cross <ccross@google.com>
10 * Erik Gilling <konkers@google.com>
13 #ifndef __MACH_TEGRA_BOARD_H
14 #define __MACH_TEGRA_BOARD_H
16 #include <linux/types.h>
17 #include <linux/reboot.h>
19 void __init
tegra_map_common_io(void);
20 void __init
tegra_init_irq(void);
22 void __init
tegra_paz00_wifikill_init(void);