tag	line	file	source code
bootdev	127	arch/alpha/boot/main.c	char bootdev[256];
bootdev	130	arch/alpha/boot/main.c	result = dispatch(CCB_GET_ENV, ENV_BOOTED_DEV, bootdev, 255);
bootdev	133	arch/alpha/boot/main.c	return dispatch(CCB_OPEN, bootdev, result & 255);