Searched refs:dispatch_ip2 (Results 1 – 2 of 2) sorted by relevance
312 static inline void dispatch_ip2(void) in dispatch_ip2() function356 dispatch_ip2(); in plat_irq_dispatch()
340 static inline void dispatch_ip2(void) in dispatch_ip2() function391 dispatch_ip2(); in plat_irq_dispatch()