Searched refs:smp_send_timer (Results 1 – 3 of 3) sorted by relevance
129 smp_send_timer(); in timer_interrupt()
600 void smp_send_timer(void) in smp_send_timer() function
82 extern void smp_send_timer(void);