···80808181 printk(KERN_INFO8282 "HD64461 configured at 0x%x on irq %d(mapped into %d to %d)\n",8383- CONFIG_HD64461_IOBASE, CONFIG_HD64461_IRQ, HD64461_IRQBASE,8383+ HD64461_IOBASE, CONFIG_HD64461_IRQ, HD64461_IRQBASE,8484 HD64461_IRQBASE + 15);85858686/* Should be at processor specific part.. */