| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #include <device/device.h> |
| #include <device/pci.h> |
| #include <pc80/isa-dma.h> |
| #include <pc80/i8259.h> |
| #include <device/pci_ops.h> |
| #include <arch/ioapic.h> |
| #include <intelblocks/itss.h> |
| #include <intelblocks/lpc_lib.h> |
| #include <soc/iomap.h> |
| #include <soc/irq.h> |
| #include <soc/lpc.h> |
| #include <soc/pci_devs.h> |
| #include <soc/pcr_ids.h> |
| |
| #include "chip.h" |
| |
| void soc_get_gen_io_dec_range(uint32_t gen_io_dec[LPC_NUM_GENERIC_IO_RANGES]) |
| { |
| const config_t *config = config_of_soc(); |
| |
| gen_io_dec[0] = config->gen1_dec; |
| gen_io_dec[1] = config->gen2_dec; |
| gen_io_dec[2] = config->gen3_dec; |
| gen_io_dec[3] = config->gen4_dec; |
| } |
| |
| #if ENV_RAMSTAGE |
| void lpc_soc_init(struct device *dev) |
| { |
| const config_t *config = dev->chip_info; |
| |
| /* Legacy initialization */ |
| isa_dma_init(); |
| pch_misc_init(); |
| |
| /* Enable CLKRUN_EN for power gating LPC */ |
| lpc_enable_pci_clk_cntl(); |
| |
| /* Set LPC Serial IRQ mode */ |
| lpc_set_serirq_mode(config->serirq_mode); |
| |
| /* Interrupt configuration */ |
| pch_enable_ioapic(); |
| pch_pirq_init(); |
| setup_i8259(); |
| i8259_configure_irq_trigger(9, 1); |
| } |
| |
| #endif |