tag	line	file	source code
sbpcd_setup	4097	drivers/block/sbpcd.c	sbpcd_setup(type, addr);
sbpcd_setup	103	init/main.c	extern void sbpcd_setup(char *str, int *ints);
sbpcd_setup	248	init/main.c	{ "sbpcd=", sbpcd_setup },