1 /*
2  * (C) Copyright 2010,2011
3  * NVIDIA Corporation <www.nvidia.com>
4  *
5  * SPDX-License-Identifier:	GPL-2.0+
6  */
7 
8 #ifndef _SYS_PROTO_H_
9 #define _SYS_PROTO_H_
10 
11 void invalidate_dcache(void);
12 
13 /**
14  * tegra_board_id() - Get the board iD
15  *
16  * @return a board ID, or -ve on error
17  */
18 int tegra_board_id(void);
19 
20 /**
21  * tegra_lcd_pmic_init() - Set up the PMIC for a board
22  *
23  * @board_id: Board ID which may be used to select LCD type
24  * @return 0 if OK, -ve on error
25  */
26 int tegra_lcd_pmic_init(int board_id);
27 
28 /**
29  * nvidia_board_init() - perform any board-specific init
30  *
31  * @return 0 if OK, -ve on error
32  */
33 int nvidia_board_init(void);
34 
35 #endif
36