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