coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
bootblock.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #ifndef SRC_SOC_CAVIUM_COMMON_INCLUDE_SOC_BOOTBLOCK_H_
3 #define SRC_SOC_CAVIUM_COMMON_INCLUDE_SOC_BOOTBLOCK_H_
4 
5 #include <stdint.h>
6 
8 void bootblock_soc_early_init(void);
9 void bootblock_soc_init(void);
10 void bootblock_mainboard_init(void);
11 
12 void bootblock_main(const uint64_t reg_x0,
13  const uint64_t reg_pc);
14 
15 #endif /* SRC_SOC_CAVIUM_COMMON_INCLUDE_SOC_BOOTBLOCK_H_ */
void bootblock_mainboard_early_init(void)
Definition: bootblock.c:16
void bootblock_mainboard_init(void)
Definition: bootblock.c:19
void bootblock_main(const uint64_t reg_x0, const uint64_t reg_pc)
Definition: bootblock.c:17
void bootblock_soc_early_init(void)
Definition: bootblock.c:20
void bootblock_soc_init(void)
Definition: bootblock.c:27
unsigned long long uint64_t
Definition: stdint.h:17