taglinefilesource code
bootfile175arch/alpha/boot/main.cchar bootfile[256];
bootfile178arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);
bootfile182arch/alpha/boot/main.cbootfile[result] = '\0';
bootfile184arch/alpha/boot/main.cprintk("Boot file specification (%s) not implemented\n", bootfile);