/* | |
* (C) Copyright 2010,2011 | |
* NVIDIA Corporation <www.nvidia.com> | |
* | |
* SPDX-License-Identifier: GPL-2.0+ | |
*/ | |
#ifndef _SYS_PROTO_H_ | |
#define _SYS_PROTO_H_ | |
struct tegra_sysinfo { | |
char *board_string; | |
}; | |
void invalidate_dcache(void); | |
extern const struct tegra_sysinfo sysinfo; | |
#endif |