tag	line	file	source code
SUPBOUND	1215	drivers/block/floppy.c	SUPBOUND(srt, 0xf);
SUPBOUND	2199	drivers/block/floppy.c	SUPBOUND(current_count_sectors, nr_sectors);
SUPBOUND	2267	drivers/block/floppy.c	SUPBOUND(max_sector, sector_t + max_size);
SUPBOUND	2321	drivers/block/floppy.c	SUPBOUND(size, remaining);
SUPBOUND	3108	drivers/block/floppy.c	SUPBOUND(buffer_max, user_params[drive].sect);
SUPBOUND	3339	drivers/block/floppy.c	SUPBOUND(size,strlen(outparam)+1);