coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ccplex.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_NVIDIA_TEGRA210_CCPLEX_H__
4 #define __SOC_NVIDIA_TEGRA210_CCPLEX_H__
5 
6 #define MTS_LOAD_ADDRESS 0x82000000
7 
8 /* Prepare the clocks and rails to start the cpu. */
9 void ccplex_cpu_prepare(void);
10 
11 /* Start cpu0 and have it start executing at entry_addr */
12 void ccplex_cpu_start(void *entry_addr);
13 
14 #endif /* __SOC_NVIDIA_TEGRA210_CCPLEX_H__ */
ccplex_cpu_start
void ccplex_cpu_start(void *entry_addr)
Definition: ccplex.c:109
ccplex_cpu_prepare
void ccplex_cpu_prepare(void)
Definition: ccplex.c:81