change_floppy     554 init/do_mounts.c 			change_floppy("root floppy");
change_floppy      12 init/do_mounts.h void  change_floppy(char *fmt, ...);
change_floppy     254 init/do_mounts_rd.c 			change_floppy("disk #%d", disk);
change_floppy     288 init/do_mounts_rd.c 		change_floppy("root floppy disk to be loaded into RAM disk");