tag	line	file	source code
SUPBOUND	1184	drivers/block/floppy.c	SUPBOUND(srt, 0xf);
SUPBOUND	2154	drivers/block/floppy.c	SUPBOUND(current_count_sectors, nr_sectors);
SUPBOUND	2222	drivers/block/floppy.c	SUPBOUND(max_sector, sector_t + max_size);
SUPBOUND	2276	drivers/block/floppy.c	SUPBOUND(size, remaining);
SUPBOUND	3063	drivers/block/floppy.c	SUPBOUND(buffer_max, user_params[drive].sect);
SUPBOUND	3264	drivers/block/floppy.c	SUPBOUND(size,strlen(outparam)+1);