vmlfb_free_vram 258 drivers/video/fbdev/vermilion/vermilion.c vmlfb_free_vram(vinfo); vmlfb_free_vram 394 drivers/video/fbdev/vermilion/vermilion.c vmlfb_free_vram(vinfo); vmlfb_free_vram 532 drivers/video/fbdev/vermilion/vermilion.c vmlfb_free_vram(vinfo);