10 #include <soc/bootblock.h>
24 if (
CONFIG(INTEL_LPSS_UART_FOR_CONSOLE))
35 if (
CONFIG(SOC_INTEL_ELKHARTLAKE_TCO_NO_REBOOT_EN)) {
void bootblock_systemagent_early_init(void)
#define printk(level,...)
void bootblock_soc_early_init(void)
void bootblock_soc_init(void)
asmlinkage void bootblock_c_entry(uint64_t base_timestamp)
void fast_spi_cache_bios_region(void)
void bootblock_main_with_basetime(uint64_t base_timestamp)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
void report_platform_info(void)
void bootblock_pch_init(void)
void bootblock_pch_early_init(void)
void pch_early_iorange_init(void)
void uart_bootblock_init(void)
uint16_t tco_read_reg(uint16_t tco_reg)
void tco_write_reg(uint16_t tco_reg, uint16_t value)
unsigned long long uint64_t