1 /* 2 * (C) Copyright 2010,2011 3 * NVIDIA Corporation <www.nvidia.com> 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8 #ifndef _SYS_PROTO_H_ 9 #define _SYS_PROTO_H_ 10 11 void invalidate_dcache(void); 12 13 /** 14 * tegra_board_id() - Get the board iD 15 * 16 * @return a board ID, or -ve on error 17 */ 18 int tegra_board_id(void); 19 20 #endif 21