oldExtCRTDispAddr 1177 drivers/video/fbdev/neofb.c 	int oldExtCRTDispAddr;
oldExtCRTDispAddr 1198 drivers/video/fbdev/neofb.c 	oldExtCRTDispAddr = vga_rgfx(NULL, 0x0E);
oldExtCRTDispAddr 1199 drivers/video/fbdev/neofb.c 	vga_wgfx(state->vgabase, 0x0E, (((Base >> 16) & 0x0f) | (oldExtCRTDispAddr & 0xf0)));