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