tag	line	file	source code
NUMBER	2741	drivers/block/floppy.c	if (code > 0 && code <= NUMBER(default_drive_params)) {
NUMBER	2833	drivers/block/floppy.c	if (TYPE(inode->i_rdev) >= NUMBER(floppy_type))