coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cpu.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_NVIDIA_TEGRA210_CPU_H__
4 #define __SOC_NVIDIA_TEGRA210_CPU_H__
5 
6 /*
7  * Start a core in 64-bit mode at the entry_64 address. Note that entry_64
8  * should be a 32-bit address.
9  */
10 void start_cpu(int cpu, void *entry_64);
11 /* Start CPU wthout any log messages. */
12 void start_cpu_silent(int cpu, void *entry_64);
13 /* Prepare SoC for starting a CPU. Initialize the global state of the SoC. */
14 void cpu_prepare_startup(void *entry_64);
15 
16 #endif /* __SOC_NVIDIA_TEGRA210_CPU_H__ */
start_cpu
size_t start_cpu(size_t cpu, void(*entry_64)(size_t core_id))
Init secondary core and call the provided entry for given core.
Definition: cpu.c:54
cpu_prepare_startup
void cpu_prepare_startup(void *entry_64)
Definition: cpu.c:30
start_cpu_silent
void start_cpu_silent(int cpu, void *entry_64)
Definition: cpu.c:52