11 #include <soc/iomap.h>
83 printk(
BIOS_ERR,
"RTC Failure detected. Resetting date to %x/%x/%x%x\n",
84 COREBOOT_BUILD_MONTH_BCD, COREBOOT_BUILD_DAY_BCD, 0x20,
85 COREBOOT_BUILD_YEAR_BCD);
103 reg = CONFIG_ECAM_MMCONF_BASE_ADDRESS | 1;
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
#define IOSF_OP_WRITE_BUNIT
#define printk(level,...)
void bootblock_soc_early_init(void)
void bootblock_soc_init(void)
void outl(u32 val, u16 port)
asmlinkage void bootblock_c_entry(uint64_t base_timestamp)
void report_fsp_output(void)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
#define ACPI_BASE_ADDRESS
#define PUNIT_BASE_ADDRESS
#define RCBA_BASE_ADDRESS
#define GPIO_BASE_ADDRESS
#define MPHY_BASE_ADDRESS
void bootblock_main_with_basetime(uint64_t base_timestamp)
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
void cmos_init(bool invalid)
static __always_inline void pci_io_write_config32(pci_devfn_t dev, uint16_t reg, uint32_t value)
#define PCI_DEV(SEGBUS, DEV, FN)
static void lpc_init(struct device *dev)
static int rtc_failed(uint32_t gen_pmcon_b)
#define SRC_CACHE_PREFETCH
static void setup_mmconfig(void)
static void tco_disable(void)
static void soc_rtc_init(void)
static void program_base_addresses(void)
static void spi_init(void)
unsigned long long uint64_t