13 #include <soc/iomap.h>
15 #include <soc/pci_devs.h>
16 #include <soc/pcr_ids.h>
17 #include <soc/soc_chip.h>
23 gen_io_dec[0] =
config->gen1_dec;
24 gen_io_dec[1] =
config->gen2_dec;
25 gen_io_dec[2] =
config->gen3_dec;
26 gen_io_dec[3] =
config->gen4_dec;
40 if (
CONFIG(SERIRQ_CONTINUOUS_MODE))
void soc_get_gen_io_dec_range(uint32_t gen_io_dec[LPC_NUM_GENERIC_IO_RANGES])
void i8259_configure_irq_trigger(int int_num, int is_level_triggered)
Configure IRQ triggering in the i8259 compatible Interrupt Controller.
void lpc_enable_pci_clk_cntl(void)
void lpc_set_serirq_mode(enum serirq_mode mode)
#define LPC_NUM_GENERIC_IO_RANGES
void lpc_soc_init(struct device *dev)
static void pch_enable_ioapic(struct device *dev)
static void pch_pirq_init(struct device *dev)
static void pch_misc_init(struct device *dev)