finish_fdc_done
finish_fdc_done( 0 );
SET_IRQ_HANDLER( finish_fdc_done );
static void finish_fdc_done( int dummy );