vmlfb_free_vram_area  171 drivers/video/fbdev/vermilion/vermilion.c 		vmlfb_free_vram_area(&vinfo->vram[i]);
vmlfb_free_vram_area  233 drivers/video/fbdev/vermilion/vermilion.c 				vmlfb_free_vram_area(va);