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 <stdint.h>
7 #include <main_decl.h>
8 
9 void stage_entry(uintptr_t stage_arg);
10 
11 /* This function is the romstage platform entry point, and should contain all
12  chipset and mainboard setup until DRAM is initialized and accessible. */
13 void platform_romstage_main(void);
14 /* This is an optional hook to run further chipset or mainboard code after DRAM
15  and associated support frameworks (like CBMEM) have been initialized. */
16 void platform_romstage_postram(void);
17 
18 #endif
void platform_romstage_main(void)
Definition: romstage.c:10
void platform_romstage_postram(void)
Definition: romstage.c:11
void stage_entry(uintptr_t stage_arg)
generic stage entry point.
Definition: stages.c:20
unsigned long uintptr_t
Definition: stdint.h:21