tag	line	file	source code
FDC_82072	1264	drivers/block/floppy.c	if (FDCS->version >= FDC_82072) {
FDC_82072	3783	drivers/block/floppy.c	return FDC_82072;        /* 82072 doesn't know CONFIGURE */