tag	line	file	source code
cpu_idle	542	init/main.c	extern int cpu_idle(void * unused);
cpu_idle	553	init/main.c	cpu_idle(NULL);
cpu_idle	583	init/main.c	kernel_thread(cpu_idle, NULL, CLONE_PID);
cpu_idle	700	init/main.c	cpu_idle(NULL);