Searched refs:gic_set_eoi (Results 1 – 6 of 6) sorted by relevance
183 gic_set_eoi(intid); in guest_irq_generic_handler()328 gic_set_eoi(intid); in guest_restore_active()403 gic_set_eoi(intid); in test_inject_preemption()825 gic_set_eoi(intid); in guest_code_asym_dir()873 gic_set_eoi(intid); in guest_code_group_en()941 gic_set_eoi(27); in guest_code_timer_spi()
113 gic_set_eoi(intid); in guest_irq_handler()
60 gic_set_eoi(intid); in guest_irq_handler()
178 gic_set_eoi(intid); in guest_irq_handler()
43 void gic_set_eoi(unsigned int intid);
87 void gic_set_eoi(unsigned int intid) in gic_set_eoi() function