tag	line	file	source code
CCB_GET_ENV	161	arch/alpha/boot/main.c	result = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
CCB_GET_ENV	177	arch/alpha/boot/main.c	result = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);
CCB_GET_ENV	228	arch/alpha/boot/main.c	nbytes = dispatch(CCB_GET_ENV, ENV_BOOTED_OSFLAGS,