Searched refs:dispatch_ip2 (Results 1 – 2 of 2) sorted by relevance
271 static inline void dispatch_ip2(void) in dispatch_ip2() function315 dispatch_ip2(); in plat_irq_dispatch()
307 static inline void dispatch_ip2(void) in dispatch_ip2() function347 dispatch_ip2(); in plat_irq_dispatch()