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