__noreturn 21 arch/x86/include/asm/reboot.h void __noreturn machine_real_restart(unsigned int type); __noreturn 8 include/asm-generic/cmpxchg-local.h __noreturn; __noreturn 239 include/linux/kernel.h __noreturn __cold; __noreturn 245 include/linux/kernel.h __noreturn; __noreturn 247 include/linux/kernel.h __noreturn;