IRQ_MFP_FDC
if (request_irq(IRQ_MFP_FDC, stdma_int, IRQF_SHARED,
#define IRQ_MFP_ACSI IRQ_MFP_FDC
#define IRQ_MFP_FSCSI IRQ_MFP_FDC
#define IRQ_MFP_IDE IRQ_MFP_FDC
atari_disable_irq( IRQ_MFP_FDC );
atari_enable_irq( IRQ_MFP_FDC );
atari_disable_irq( IRQ_MFP_FDC );
atari_enable_irq( IRQ_MFP_FDC );
atari_turnoff_irq( IRQ_MFP_FDC );
atari_turnon_irq( IRQ_MFP_FDC );
atari_disable_irq( IRQ_MFP_FDC );
atari_enable_irq( IRQ_MFP_FDC );
atari_turnon_irq( IRQ_MFP_FDC ); /* should be already, just to be sure */