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(uintptr_t stage_arg) __attribute__((section(".text.stage_entry")));
9 
10 #endif
stage_entry
void stage_entry(uintptr_t stage_arg)
generic stage entry point.
Definition: stages.c:20
main_decl.h
uintptr_t
unsigned long uintptr_t
Definition: stdint.h:21