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