tag	line	file	source code
bootfile	174	arch/alpha/boot/main.c	char bootfile[256];
bootfile	177	arch/alpha/boot/main.c	result = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);
bootfile	181	arch/alpha/boot/main.c	bootfile[result] = '\0';
bootfile	183	arch/alpha/boot/main.c	printk("Boot file specification (%s) not implemented\n", bootfile);