coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
stages.h
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#ifndef __ARCH_STAGES_H
4
#define __ARCH_STAGES_H
5
6
#include <
main_decl.h
>
7
8
void
stage_entry
(
int
hart_id,
void
*fdt)
9
__attribute__((section(
".text.stage_entry"
)));
10
11
#endif
stage_entry
void stage_entry(uintptr_t stage_arg)
generic stage entry point.
Definition:
stages.c:20
main_decl.h
src
arch
riscv
include
arch
stages.h
Generated by
1.9.1