Searched refs:apic_send_EOI (Results 1 – 3 of 3) sorted by relevance
75 apic_send_EOI,84 void apic_send_EOI();124 apic_send_EOI(uint32_t irq) in apic_send_EOI() function
73 apic_send_EOI,
827 extern void apic_send_EOI(uint32_t);