Searched refs:irq_vec (Results 1 – 1 of 1) sorted by relevance
501 static void handle_d3(uint32_t irq_vec) in handle_d3() argument511 write32(SEDI_IOAPIC_EOI, irq_vec); in handle_d3()