Searched refs:gic_get_and_ack_irq (Results 1 – 6 of 6) sorted by relevance
42 unsigned int gic_get_and_ack_irq(void);
74 unsigned int gic_get_and_ack_irq(void) in gic_get_and_ack_irq() function
165 uint32_t intid = gic_get_and_ack_irq(); in guest_irq_generic_handler()207 _intid = gic_get_and_ack_irq(); \350 intid = gic_get_and_ack_irq(); in wait_for_and_activate_irq()
107 unsigned int intid = gic_get_and_ack_irq(); in guest_irq_handler()
54 u32 intid = gic_get_and_ack_irq(); in guest_irq_handler()
146 unsigned int intid = gic_get_and_ack_irq(); in guest_irq_handler()