Lines Matching refs:rootdev

588 	char *rootdev;
591 	 * First choice: if rootdev is already set, use that, even if
594 	rootdev = getenv("rootdev");
595 	if (rootdev != NULL && *rootdev != '\0') {
596 		printf("    Setting currdev to configured rootdev %s\n",
597 		    rootdev);
598 		set_currdev(rootdev);
607 		rootdev = getenv("uefi_rootdev");
608 		if (rootdev == NULL)
610 		devpath = efi_name_to_devpath(rootdev);
618 		    rootdev);