tag	line	file	source code
idle	38	init/main.c	static inline _syscall0(int,idle)
idle	205	init/main.c	idle();