taglinefilesource code
dispatch138arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
dispatch141arch/alpha/boot/main.creturn dispatch(CCB_OPEN, bootdev, result & 255);
dispatch146arch/alpha/boot/main.creturn dispatch(CCB_CLOSE, dev);
dispatch154arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);
dispatch161arch/alpha/boot/main.creturn dispatch(CCB_READ, dev, count, addr, BOOT_SIZE/512 + 1);
dispatch205arch/alpha/boot/main.cnbytes = dispatch(CCB_GET_ENV, ENV_BOOTED_OSFLAGS,
dispatch44include/asm-alpha/console.hextern unsigned long dispatch(unsigned long code, ...);
dispatch45include/asm-alpha/console.h#define puts(x,l) dispatch(CCB_PUTS,0,x,l)