tag	line	file	source code
SUPBOUND	1272	drivers/block/floppy.c	SUPBOUND(srt, 0xf);
SUPBOUND	2265	drivers/block/floppy.c	SUPBOUND(current_count_sectors, nr_sectors);
SUPBOUND	2333	drivers/block/floppy.c	SUPBOUND(max_sector, sector_t + max_size);
SUPBOUND	2387	drivers/block/floppy.c	SUPBOUND(size, remaining);
SUPBOUND	3182	drivers/block/floppy.c	SUPBOUND(buffer_max, user_params[drive].sect);
SUPBOUND	3408	drivers/block/floppy.c	SUPBOUND(size,strlen(outparam)+1);