INSTDONE
printk("INSTDONE: 0x%04x\n", i810_readl(INSTDONE, mmio));
while((i810_readw(INSTDONE, mmio) & 0x7B) != 0x7B && --count);