vml_mem_contig     50 drivers/video/fbdev/vermilion/vermilion.c static u32 vml_mem_contig = (4 * 1024 * 1024);
vml_mem_contig    480 drivers/video/fbdev/vermilion/vermilion.c 			       vml_mem_contig, vml_mem_min);