taglinefilesource code
start_kernel201arch/alpha/boot/main.cvoid start_kernel(void)
start_kernel611init/main.casmlinkage void start_kernel(void)