coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
maincpu.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_NVIDIA_TEGRA124_MAINCPU_H__
4 #define __SOC_NVIDIA_TEGRA124_MAINCPU_H__
5 
6 #include <stdint.h>
7 
8 extern u32 maincpu_stack_pointer;
9 extern u32 maincpu_entry_point;
10 void maincpu_setup(void);
11 
12 #endif /* __SOC_NVIDIA_TEGRA124_MAINCPU_H__ */
u32
uint32_t u32
Definition: stdint.h:51
maincpu_stack_pointer
u32 maincpu_stack_pointer
maincpu_entry_point
u32 maincpu_entry_point
maincpu_setup
void maincpu_setup(void)