9 #include <soc/pcr_ids.h>
19 for (
byte = 0;
byte <
sizeof(
uint32_t);
byte++) {
24 if ((irq <= 2) || (irq == 8) || (irq == 13))
25 regs[index] |= (0x80 << (8 *
byte));
27 regs[index] |= (
val << (8 * byte));
40 const uint32_t cge8254_mask = (1 << 2);
76 for (i = reg_start; i < reg_end; i++) {
110 for (i = reg_start; i < reg_end; i++) {
129 mask = (((1U << irq_end) - 1) | (1U << irq_end));
130 mask &= ~((1U << irq_start) - 1);
#define PCR_ITSS_IPC0_CONF
#define PCR_ITSS_PIRQA_ROUT
void pcr_write32(uint8_t pid, uint16_t offset, uint32_t indata)
void pcr_rmw32(uint8_t pid, uint16_t offset, uint32_t anddata, uint32_t ordata)
uint32_t pcr_read32(uint8_t pid, uint16_t offset)
#define printk(level,...)
void itss_clock_gate_8254(void)
void itss_snapshot_irq_polarities(int start, int end)
void itss_restore_irq_polarities(int start, int end)
static void show_irq_polarities(const char *msg)
static uint32_t irq_snapshot[NUM_IPC_REGS]
void itss_set_irq_polarity(int irq, int active_low)
void itss_irq_init(const uint8_t pch_interrupt_routing[PIRQ_COUNT])
#define BIOS_INFO
BIOS_INFO - Expected events.
static const uint8_t pch_interrupt_routing[PIRQ_COUNT]