tag	line	file	source code
FORMAT_NONE	214	kernel/blk_drv/floppy.c	static volatile int format_status = FORMAT_NONE, fdc_busy = 0;
FORMAT_NONE	1070	kernel/blk_drv/floppy.c	while (format_status != FORMAT_NONE)
FORMAT_NONE	1091	kernel/blk_drv/floppy.c	format_status = FORMAT_NONE;