Home | History | Annotate | Download | only in common

Lines Matching defs:boot_file

54 char boot_file[128];
110 	boot_file[0] = 0;
111 	cfe_getenv("KERNEL_FILE",boot_file,sizeof(boot_file));
116 	if (boot_file[0] != 0)
117 		(void)printf("Boot file: %s\n", boot_file);
122 		kgets(boot_file, sizeof(boot_file));
126 	if (boot_file[0] != '\0') {
127 		name = boot_file;