Symbol: invalid_vram_cache
drivers/video/fbdev/controlfb.c
293
invalid_vram_cache(&p->frame_buffer[0x600000]);
drivers/video/fbdev/controlfb.c
307
invalid_vram_cache(&p->frame_buffer[0]);