tag	line	file	source code
CCB_GET_ENV	138	arch/alpha/boot/main.c	result = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
CCB_GET_ENV	154	arch/alpha/boot/main.c	result = dispatch(CCB_GET_ENV, ENV_BOOTED_FILE, bootfile, 255);