5d98dabb4e
Just call `fast_spi_cache_bios_region()` directly instead. Change-Id: I99f6ed4cf1a5c49b078cfd05e357c2d4c26ade45 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/50952 Reviewed-by: Michael Niewöhner <foss@mniewoehner.de> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
33 lines
765 B
C
33 lines
765 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
#include <bootblock_common.h>
|
|
#include <intelblocks/fast_spi.h>
|
|
#include <intelblocks/systemagent.h>
|
|
#include <intelblocks/tco.h>
|
|
#include <intelblocks/uart.h>
|
|
#include <soc/bootblock.h>
|
|
|
|
asmlinkage void bootblock_c_entry(uint64_t base_timestamp)
|
|
{
|
|
/* Call lib/bootblock.c main */
|
|
bootblock_main_with_basetime(base_timestamp);
|
|
}
|
|
|
|
void bootblock_soc_early_init(void)
|
|
{
|
|
bootblock_systemagent_early_init();
|
|
bootblock_pch_early_init();
|
|
fast_spi_cache_bios_region();
|
|
pch_early_iorange_init();
|
|
if (CONFIG(INTEL_LPSS_UART_FOR_CONSOLE))
|
|
uart_bootblock_init();
|
|
}
|
|
|
|
void bootblock_soc_init(void)
|
|
{
|
|
report_platform_info();
|
|
bootblock_pch_init();
|
|
|
|
/* Programming TCO_BASE_ADDRESS and TCO Timer Halt */
|
|
tco_configure();
|
|
}
|