taglinefilesource code
kernel_thread516init/main.ckernel_thread(smp_idle, NULL, CLONE_PID);
kernel_thread614init/main.ckernel_thread(init, NULL, 0);
kernel_thread697init/main.cpid = kernel_thread(do_rc, "/etc/rc", SIGCHLD);
kernel_thread704init/main.cpid = kernel_thread(do_shell,