taglinefilesource code
bootdev159arch/alpha/boot/main.cchar bootdev[256];
bootdev162arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
bootdev165arch/alpha/boot/main.creturn dispatch(CCB_OPEN, bootdev, result & 255);