FDC_82072 1308 drivers/block/floppy.c if (FDCS->version >= FDC_82072) { FDC_82072 4278 drivers/block/floppy.c return FDC_82072; /* 82072 doesn't know CONFIGURE */