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