Lines Matching defs:kernel

359 	char *kernel = NULL;
367 	 * and use that to load the kernel. However, if we only find
442 	 * component of the path. If it's a file, then we set the default kernel
452 		return (BOOT_INFO_OK);		/* use currdir, default kernel */
455 	ucs2_to_utf8(fp->PathName, &kernel);
456 	if (kernel == NULL) {
457 		printf("Not using Boot%04x: can't decode kernel\n", boot_current);
460 	if (*kernel == '\\' || isupper(*kernel))
461 		fix_dosisms(kernel);
462 	if (stat(kernel, &st) != 0) {
463 		free(kernel);
465 		    kernel);
468 	setenv("kernel", kernel, 1);
469 	free(kernel);
473 		    kernel);
489  * /boot/kernel/kernel (the default kernel) that we can use.
548 	 * we'll load the kernel specified by the file path. Should there
709 	 * loader and kernel env vars to be passed on the command line.  Convert
851  * to communicate settings from SPCR to the kernel.
894 	 * it isn't 0, but if it is 0, we want to use 0 to have the kernel
952 	 * is present, we return RB_SERIAL and will use it for the kernel.
1317 	 * howto is set now how we want to export the flags to the kernel, so