taglinefilesource code
cpu_idle567init/main.cextern int cpu_idle(void * unused);
cpu_idle578init/main.ccpu_idle(NULL);
cpu_idle608init/main.ckernel_thread(cpu_idle, NULL, CLONE_PID);
cpu_idle732init/main.ccpu_idle(NULL);