tag	line	file	source code
redo_format	1895	drivers/block/floppy.c	redo_format,
redo_format	1919	drivers/block/floppy.c	IWAIT(redo_format);