sync_softint
if (&sync_softint != NULL)
sync_softint(clock_tick_online_cpuset);
extern void sync_softint(cpuset_t);