Searched refs:apic_send_eoi (Results 1 – 3 of 3) sorted by relevance
184 apic_reg_ops->apic_send_eoi = apic_send_directed_EOI; in apic_set_directed_EOI_handler()
579 apic_reg_ops->apic_send_eoi(0); in apic_intr_enter()622 apic_reg_ops->apic_send_eoi(0); in apic_intr_enter()648 apic_reg_ops->apic_send_eoi(irq); in apic_intr_exit()
544 void (*apic_send_eoi)(uint32_t); member