Symbol: tick_do_broadcast
kernel/time/tick-broadcast.c
394
return tick_do_broadcast(tmpmask);
kernel/time/tick-broadcast.c
747
bc_local = tick_do_broadcast(tmpmask);