taglinefilesource code
cpu_idle530init/main.cextern int cpu_idle(void * unused);
cpu_idle541init/main.ccpu_idle(NULL);
cpu_idle565init/main.ckernel_thread(cpu_idle, NULL, CLONE_PID);
cpu_idle681init/main.ccpu_idle(NULL);