Searched refs:gic_get_and_ack_irq (Results 1 – 4 of 4) sorted by relevance
28 unsigned int gic_get_and_ack_irq(void);
78 unsigned int gic_get_and_ack_irq(void) in gic_get_and_ack_irq() function
171 uint32_t intid = gic_get_and_ack_irq(); in guest_irq_generic_handler()213 _intid = gic_get_and_ack_irq(); \357 intid = gic_get_and_ack_irq(); in wait_for_and_activate_irq()
170 unsigned int intid = gic_get_and_ack_irq(); in guest_irq_handler()