Searched refs:__gic_irq_dispatch (Results 1 – 1 of 1) sorted by relevance
405 static void __gic_irq_dispatch(void) in __gic_irq_dispatch() function784 __gic_irq_dispatch); in gic_of_init()