tag	line	file	source code
INFBOUND	1190	drivers/block/floppy.c	INFBOUND(srt, 0);
INFBOUND	1930	drivers/block/floppy.c	INFBOUND(DRWE->badness, *errors);
INFBOUND	2091	drivers/block/floppy.c	INFBOUND(DRS->maxblock, block);
INFBOUND	2157	drivers/block/floppy.c	INFBOUND(nr_sectors,0);
INFBOUND	2197	drivers/block/floppy.c	INFBOUND(buffer_max, nr_sectors + sector_t);
INFBOUND	3385	drivers/block/floppy.c	INFBOUND(UDRS->maxblock, block);
INFBOUND	3469	drivers/block/floppy.c	INFBOUND(try, 16);