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)));