taglinefilesource code
NUMBER2912drivers/block/floppy.cif (UDP->cmos >= 0 && UDP->cmos <= NUMBER(default_drive_params))
NUMBER3012drivers/block/floppy.cif (TYPE(inode->i_rdev) >= NUMBER(floppy_type))
NUMBER3276drivers/block/floppy.cif(ints[2] <= 0 || ints[2] >= NUMBER(default_drive_params)){