saved_extmem      571 drivers/video/fbdev/w100fb.c 		par->saved_extmem = vmalloc(memsize);
saved_extmem      572 drivers/video/fbdev/w100fb.c 		if (par->saved_extmem)
saved_extmem      573 drivers/video/fbdev/w100fb.c 			memcpy_fromio(par->saved_extmem, remapped_fbuf + (W100_FB_BASE-MEM_WINDOW_BASE), memsize);
saved_extmem      587 drivers/video/fbdev/w100fb.c 	if (par->extmem_active && par->saved_extmem) {
saved_extmem      589 drivers/video/fbdev/w100fb.c 		memcpy_toio(remapped_fbuf + (W100_FB_BASE-MEM_WINDOW_BASE), par->saved_extmem, memsize);
saved_extmem      590 drivers/video/fbdev/w100fb.c 		vfree(par->saved_extmem);
saved_extmem      591 drivers/video/fbdev/w100fb.c 		par->saved_extmem = NULL;
saved_extmem      793 drivers/video/fbdev/w100fb.c 	vfree(par->saved_extmem);
saved_extmem      146 include/video/w100fb.h 	uint32_t *saved_extmem;