fdc_intr_fast
((fdc->flags & FDC_NOFAST) ? NULL : fdc_intr_fast),
static driver_filter_t fdc_intr_fast;