taglinefilesource code
CCB_GET_ENV162arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
CCB_GET_ENV178arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);
CCB_GET_ENV229arch/alpha/boot/main.cnbytes = dispatch(CCB_GET_ENV, ENV_BOOTED_OSFLAGS,