| /* |
| * (C) Copyright 2010,2011 |
| * NVIDIA Corporation <www.nvidia.com> |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #ifndef _SYS_PROTO_H_ |
| #define _SYS_PROTO_H_ |
| |
| void invalidate_dcache(void); |
| |
| /** |
| * tegra_board_id() - Get the board iD |
| * |
| * @return a board ID, or -ve on error |
| */ |
| int tegra_board_id(void); |
| |
| /** |
| * tegra_lcd_pmic_init() - Set up the PMIC for a board |
| * |
| * @board_id: Board ID which may be used to select LCD type |
| * @return 0 if OK, -ve on error |
| */ |
| int tegra_lcd_pmic_init(int board_id); |
| |
| /** |
| * nvidia_board_init() - perform any board-specific init |
| * |
| * @return 0 if OK, -ve on error |
| */ |
| int nvidia_board_init(void); |
| |
| #endif |