Searched refs:dispatch_ip2 (Results 1 – 2 of 2) sorted by relevance
290 static inline void dispatch_ip2(void) in dispatch_ip2() function334 dispatch_ip2(); in plat_irq_dispatch()
320 static inline void dispatch_ip2(void) in dispatch_ip2() function371 dispatch_ip2(); in plat_irq_dispatch()