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