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