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