taglinefilesource code
dispatch162arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
dispatch165arch/alpha/boot/main.creturn dispatch(CCB_OPEN, bootdev, result & 255);
dispatch170arch/alpha/boot/main.creturn dispatch(CCB_CLOSE, dev);
dispatch178arch/alpha/boot/main.cresult = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);
dispatch185arch/alpha/boot/main.creturn dispatch(CCB_READ, dev, count, addr, BOOT_SIZE/512 + 1);
dispatch229arch/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)