tag	line	file	source code
bad	539	kernel/blk_drv/floppy.c	char bad;
bad	545	kernel/blk_drv/floppy.c	bad = 1;
bad	550	kernel/blk_drv/floppy.c	bad = 0;
bad	555	kernel/blk_drv/floppy.c	bad = 0;
bad	582	kernel/blk_drv/floppy.c	if (bad)