tag	line	file	source code
INFBOUND	1191	drivers/block/floppy.c	INFBOUND(srt, 0);
INFBOUND	1931	drivers/block/floppy.c	INFBOUND(DRWE->badness, *errors);
INFBOUND	2093	drivers/block/floppy.c	INFBOUND(DRS->maxblock, block);
INFBOUND	2159	drivers/block/floppy.c	INFBOUND(nr_sectors,0);
INFBOUND	2199	drivers/block/floppy.c	INFBOUND(buffer_max, nr_sectors + sector_t);
INFBOUND	3387	drivers/block/floppy.c	INFBOUND(UDRS->maxblock, block);
INFBOUND	3471	drivers/block/floppy.c	INFBOUND(try, 16);