2011-01-27 10:58:05 +00:00
|
|
|
/*
|
|
|
|
* (C) Copyright 2010,2011
|
|
|
|
* NVIDIA Corporation <www.nvidia.com>
|
|
|
|
*
|
2013-07-08 07:37:19 +00:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2011-01-27 10:58:05 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _SYS_PROTO_H_
|
|
|
|
#define _SYS_PROTO_H_
|
|
|
|
|
|
|
|
void invalidate_dcache(void);
|
|
|
|
|
2015-04-15 03:03:25 +00:00
|
|
|
/**
|
|
|
|
* tegra_board_id() - Get the board iD
|
|
|
|
*
|
|
|
|
* @return a board ID, or -ve on error
|
|
|
|
*/
|
|
|
|
int tegra_board_id(void);
|
2011-01-27 10:58:05 +00:00
|
|
|
|
2015-04-15 03:03:27 +00:00
|
|
|
/**
|
|
|
|
* 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);
|
|
|
|
|
2011-01-27 10:58:05 +00:00
|
|
|
#endif
|