softclock_thread_mp
void softclock_thread_mp(void *);
if (kthread_create(softclock_thread_mp, NULL, NULL, "softclockmp"))