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