SUPBOUND         1319 drivers/block/floppy.c 	SUPBOUND(srt, 0xf);
SUPBOUND         2326 drivers/block/floppy.c 	SUPBOUND(current_count_sectors, nr_sectors);
SUPBOUND         2394 drivers/block/floppy.c 	SUPBOUND(max_sector, fsector_t + max_size);
SUPBOUND         2450 drivers/block/floppy.c 		SUPBOUND(size, remaining);
SUPBOUND         3284 drivers/block/floppy.c 			SUPBOUND(buffer_max, user_params[drive].sect);
SUPBOUND         3529 drivers/block/floppy.c 		SUPBOUND(size, strlen((const char *)outparam) + 1);