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