Symbol: x86_64_start_kernel
arch/x86/include/asm/setup.h
137
asmlinkage void __init __noreturn x86_64_start_kernel(char *real_mode);
tools/objtool/noreturns.h
52
NORETURN(x86_64_start_kernel)