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