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 struct tegra_sysinfo {
12 	char *board_string;
13 };
14 
15 void invalidate_dcache(void);
16 
17 extern const struct tegra_sysinfo sysinfo;
18 
19 #endif
20