change_floppy     350 init/do_mounts.c 			change_floppy("root floppy");
change_floppy      10 init/do_mounts.h void  change_floppy(char *fmt, ...);
change_floppy     222 init/do_mounts_rd.c 			change_floppy("disk #%d", disk);
change_floppy     256 init/do_mounts_rd.c 		change_floppy("root floppy disk to be loaded into RAM disk");