softclock_create_thread
void softclock_create_thread(void *);
kthread_create_deferred(softclock_create_thread, NULL);