coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
bootblock.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <bootblock_common.h>
4 #include <intelblocks/fast_spi.h>
6 #include <intelblocks/tco.h>
7 #include <intelblocks/uart.h>
8 #include <soc/bootblock.h>
9 
11 {
12  /* Call lib/bootblock.c main */
13  bootblock_main_with_basetime(base_timestamp);
14 }
15 
17 {
22  if (CONFIG(INTEL_LPSS_UART_FOR_CONSOLE))
24 }
25 
27 {
30 
31  /* Programming TCO_BASE_ADDRESS and TCO Timer Halt */
32  tco_configure();
33 }
#define asmlinkage
Definition: cpu.h:8
void bootblock_systemagent_early_init(void)
void bootblock_soc_early_init(void)
Definition: bootblock.c:20
void bootblock_soc_init(void)
Definition: bootblock.c:27
asmlinkage void bootblock_c_entry(uint64_t base_timestamp)
Definition: bootblock.c:26
@ CONFIG
Definition: dsi_common.h:201
void fast_spi_cache_bios_region(void)
Definition: fast_spi.c:292
void bootblock_main_with_basetime(uint64_t base_timestamp)
Definition: bootblock.c:71
void report_platform_info(void)
void bootblock_pch_init(void)
Definition: pch.c:114
void bootblock_pch_early_init(void)
Definition: pch.c:59
void pch_early_iorange_init(void)
Definition: pch.c:98
void uart_bootblock_init(void)
Definition: uart.c:97
void tco_configure(void)
Definition: tco.c:130
unsigned long long uint64_t
Definition: stdint.h:17