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