do_exit 711 kernel/exit.c void __noreturn do_exit(long code) do_exit 647 scripts/kconfig/nconf.c static int do_exit(void)