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