SNI_A20R_IRQ_BASE
#define SNI_A20R_IRQ_TIMER (SNI_A20R_IRQ_BASE+5)
set_c0_status(0x100 << (d->irq - SNI_A20R_IRQ_BASE));
clear_c0_status(0x100 << (d->irq - SNI_A20R_IRQ_BASE));
do_IRQ(SNI_A20R_IRQ_BASE + irq - 1);
for (i = SNI_A20R_IRQ_BASE + 2 ; i < SNI_A20R_IRQ_BASE + 8; i++)
if (request_irq(SNI_A20R_IRQ_BASE + 3, sni_isa_irq_handler,