tag	line	file	source code
SUPBOUND	1191	drivers/block/floppy.c	SUPBOUND(srt, 0xf);
SUPBOUND	2160	drivers/block/floppy.c	SUPBOUND(current_count_sectors, nr_sectors);
SUPBOUND	2228	drivers/block/floppy.c	SUPBOUND(max_sector, sector_t + max_size);
SUPBOUND	2282	drivers/block/floppy.c	SUPBOUND(size, remaining);
SUPBOUND	3068	drivers/block/floppy.c	SUPBOUND(buffer_max, user_params[drive].sect);
SUPBOUND	3272	drivers/block/floppy.c	SUPBOUND(size,strlen(outparam)+1);