1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <bootblock_common.h>
5 #include <intelblocks/fast_spi.h>
6 #include <intelblocks/systemagent.h>
7 #include <intelblocks/tco.h>
8 #include <intelblocks/uart.h>
9 #include <soc/bootblock.h>
12 asmlinkage
void bootblock_c_entry(uint64_t base_timestamp
)
14 /* Call lib/bootblock.c main */
15 bootblock_main_with_basetime(base_timestamp
);
18 void bootblock_soc_early_init(void)
20 bootblock_systemagent_early_init();
21 bootblock_pch_early_init();
22 fast_spi_cache_bios_region();
23 pch_early_iorange_init();
24 if (CONFIG(INTEL_LPSS_UART_FOR_CONSOLE
))
25 uart_bootblock_init();
28 void bootblock_soc_init(void)
30 report_platform_info();
33 /* Programming TCO_BASE_ADDRESS and TCO Timer Halt */