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