tag	line	file	source code
INFBOUND	1185	drivers/block/floppy.c	INFBOUND(srt, 0);
INFBOUND	1925	drivers/block/floppy.c	INFBOUND(DRWE->badness, *errors);
INFBOUND	2087	drivers/block/floppy.c	INFBOUND(DRS->maxblock, block);
INFBOUND	2153	drivers/block/floppy.c	INFBOUND(nr_sectors,0);
INFBOUND	2193	drivers/block/floppy.c	INFBOUND(buffer_max, nr_sectors + sector_t);
INFBOUND	3382	drivers/block/floppy.c	INFBOUND(UDRS->maxblock, block);
INFBOUND	3466	drivers/block/floppy.c	INFBOUND(try, 16);