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