taglinefilesource code
start_kernel178arch/alpha/boot/main.cvoid start_kernel(void)
start_kernel373init/main.casmlinkage void start_kernel(void)