2 * (C) Copyright 2010,2011
3 * NVIDIA Corporation <www.nvidia.com>
5 * SPDX-License-Identifier: GPL-2.0+
11 void invalidate_dcache(void);
14 * tegra_board_id() - Get the board iD
16 * @return a board ID, or -ve on error
18 int tegra_board_id(void);
21 * tegra_lcd_pmic_init() - Set up the PMIC for a board
23 * @board_id: Board ID which may be used to select LCD type
24 * @return 0 if OK, -ve on error
26 int tegra_lcd_pmic_init(int board_id);
29 * nvidia_board_init() - perform any board-specific init
31 * @return 0 if OK, -ve on error
33 int nvidia_board_init(void);