taglinefilesource code
NUMBER2864drivers/block/floppy.cif (code > 0 && code <= NUMBER(default_drive_params)) {
NUMBER2971drivers/block/floppy.cif (TYPE(inode->i_rdev) >= NUMBER(floppy_type))