bootfile          123 arch/alpha/boot/main.c 	char bootfile[256];
bootfile          127 arch/alpha/boot/main.c 	result = callback_getenv(ENV_BOOTED_FILE, bootfile, 255);
bootfile          131 arch/alpha/boot/main.c 	bootfile[result] = '\0';
bootfile          134 arch/alpha/boot/main.c 		       bootfile);