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