Searched refs:gic_set_eoi (Results 1 – 4 of 4) sorted by relevance
29 void gic_set_eoi(unsigned int intid);
91 void gic_set_eoi(unsigned int intid) in gic_set_eoi() function
188 gic_set_eoi(intid); in guest_irq_generic_handler()334 gic_set_eoi(intid); in guest_restore_active()400 gic_set_eoi(intid); in test_inject_preemption()
176 gic_set_eoi(intid); in guest_irq_handler()