vgacntrl          224 drivers/video/fbdev/intelfb/intelfb.h 	u32 vgacntrl;
vgacntrl          625 drivers/video/fbdev/intelfb/intelfbhw.c 	hw->vgacntrl = INREG(VGACNTRL);
vgacntrl          845 drivers/video/fbdev/intelfb/intelfbhw.c 	printk("	VGACNTRL:		0x%08x\n", hw->vgacntrl);
vgacntrl         1056 drivers/video/fbdev/intelfb/intelfbhw.c 	hw->vgacntrl |= VGA_DISABLE;