1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * (C) Copyright 2010,2011
4 * NVIDIA Corporation <www.nvidia.com>
10 void invalidate_dcache(void);
13 * tegra_board_id() - Get the board iD
15 * Return: a board ID, or -ve on error
17 int tegra_board_id(void);
20 * tegra_lcd_pmic_init() - Set up the PMIC for a board
22 * @board_id: Board ID which may be used to select LCD type
23 * Return: 0 if OK, -ve on error
25 int tegra_lcd_pmic_init(int board_id);
28 * nvidia_board_init() - perform any board-specific init
30 * Return: 0 if OK, -ve on error
32 int nvidia_board_init(void);
35 * nvidia_board_late_init() - perform any board-specific
38 void nvidia_board_late_init(void);