blob: dbdc81d97ebebb12e12c6746091b482d43bcf2b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef __SOC_NVIDIA_TEGRA210_MAINCPU_H__
#define __SOC_NVIDIA_TEGRA210_MAINCPU_H__
#include <stdint.h>
extern u32 maincpu_stack_pointer;
extern u32 maincpu_entry_point;
void maincpu_setup(void);
#endif /* __SOC_NVIDIA_TEGRA210_MAINCPU_H__ */
|
