Lines Matching defs:rootdev

509 	char *rootdev;
512 	 * First choice: if rootdev is already set, use that, even if
515 	rootdev = getenv("rootdev");
516 	if (rootdev != NULL) {
517 		printf("    Setting currdev to configured rootdev %s\n",
518 		    rootdev);
519 		set_currdev(rootdev);
528 		rootdev = getenv("uefi_rootdev");
529 		if (rootdev == NULL)
531 		devpath = efi_name_to_devpath(rootdev);
539 		    rootdev);