taglinefilesource code
cpu_idle509init/main.cextern int cpu_idle(void * unused);
cpu_idle520init/main.ccpu_idle(NULL);
cpu_idle544init/main.ckernel_thread(cpu_idle, NULL, CLONE_PID);
cpu_idle658init/main.ccpu_idle(NULL);