taglinefilesource code
cpu_idle597init/main.cextern int cpu_idle(void * unused);
cpu_idle608init/main.ccpu_idle(NULL);
cpu_idle636init/main.ckernel_thread(cpu_idle, NULL, CLONE_PID);
cpu_idle759init/main.ccpu_idle(NULL);