tag	line	file	source code
floppy_setup	56	init/main.c	extern void floppy_setup(char *str, int *ints);
floppy_setup	207	init/main.c	{ "floppy=", floppy_setup },