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
172 uint32_t intid = gic_get_and_ack_irq(); in guest_irq_generic_handler()214 _intid = gic_get_and_ack_irq(); \358 intid = gic_get_and_ack_irq(); in wait_for_and_activate_irq()
155 unsigned int intid = gic_get_and_ack_irq(); in guest_irq_handler()
