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