Searched refs:smp4d_cross_call_irq (Results 1 – 3 of 3) sorted by relevance
127 void smp4d_cross_call_irq(void);
354 void smp4d_cross_call_irq(void) in smp4d_cross_call_irq() function
382 call smp4d_cross_call_irq