Searched refs:ioapic_rte (Results 1 – 1 of 1) sorted by relevance
536 static uint32_t ioapic_rte[NUMBER_IRQ_PINS]; variable545 ioapic_rte[pin] = read32(SEDI_IOAPIC_WDW); in do_ipapg()553 write32(SEDI_IOAPIC_WDW, ioapic_rte[pin]); in do_ipapg()
