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