Symbol: INSTDONE
drivers/video/fbdev/i810/i810_accel.c
103
printk("INSTDONE: 0x%04x\n", i810_readl(INSTDONE, mmio));
drivers/video/fbdev/i810/i810_accel.c
99
while((i810_readw(INSTDONE, mmio) & 0x7B) != 0x7B && --count);