gdb/kgdb/main.c

74 static char *kernel;
87 	    "\t[kernel [core]]\n", getprogname());
101 	 * If there's a kernel image right here in the crash directory, then
102 	 * use it.  The kernel image is either called kernel.<nr> or is in a
103 	 * subdirectory kernel.<nr> and called kernel.  The latter allows us
106 	snprintf(path, sizeof(path), "%s/kernel.%d", crashdir, nr);
109 			kernel = strdup(path);
113 			snprintf(path, sizeof(path), "%s/kernel.%d/kernel",
116 				kernel = strdup(path);
123 	 * No kernel image here.  Parse the dump header.  The kernel object
124 	 * directory can be found there and we probably have the kernel
125 	 * image still in it.  The object directory may also have a kernel
126 	 * with debugging info (called kernel.debug).  If we have a debug
127 	 * kernel, use it.
142 			l = snprintf(path, sizeof(path), "%s/kernel.debug", s);
149 			kernel = strdup(path);
169 		 * The initial kernel has just been loaded.  Start the
234 	printf("\nUnread portion of the kernel message buffer:\n");
359 				warnx("option %c: invalid kernel dump number",
401 		kernel = strdup(argv[optind++]);
422 	} else if (vmcore == NULL && kernel == NULL) {
424 		kernel = strdup(getbootfile());
432 		if (kernel != NULL)
433 			warnx("kernel image: %s", kernel);
436 	/* A remote target requires an explicit kernel argument. */
437 	if (remote != NULL && kernel == NULL) {
438 		warnx("remote debugging requires a kernel");
443 	/* If we don't have a kernel image yet, try to find one. */
444 	if (kernel == NULL) {
448 		if (kernel == NULL)
449 			errx(1, "couldn't find a suitable kernel image");
451 			warnx("kernel image: %s", kernel);
453 	add_arg(&args, kernel);