tag	line	file	source code
start_kernel	202	arch/alpha/boot/main.c	void start_kernel(void)
start_kernel	674	init/main.c	asmlinkage void start_kernel(void)