I830_HIC          722 drivers/char/agp/intel-gtt.c 	writel(readl(intel_private.registers+I830_HIC) | (1<<31),
I830_HIC          723 drivers/char/agp/intel-gtt.c 	       intel_private.registers+I830_HIC);
I830_HIC          725 drivers/char/agp/intel-gtt.c 	while (readl(intel_private.registers+I830_HIC) & (1<<31)) {