Searched refs:__gic_irq_dispatch (Results 1 – 1 of 1) sorted by relevance
43 static void __gic_irq_dispatch(void);563 static void __gic_irq_dispatch(void) in __gic_irq_dispatch() function831 __gic_irq_dispatch); in __gic_init()