vml_mutex          38 drivers/video/fbdev/vermilion/vermilion.c static struct mutex vml_mutex;
vml_mutex         269 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex         274 drivers/video/fbdev/vermilion/vermilion.c 		mutex_unlock(&vml_mutex);
vml_mutex         278 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);
vml_mutex         391 drivers/video/fbdev/vermilion/vermilion.c 		mutex_lock(&vml_mutex);
vml_mutex         399 drivers/video/fbdev/vermilion/vermilion.c 		mutex_unlock(&vml_mutex);
vml_mutex         683 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex         685 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);
vml_mutex         876 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex         880 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);
vml_mutex         927 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex         930 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);
vml_mutex         940 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex         945 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);
vml_mutex        1061 drivers/video/fbdev/vermilion/vermilion.c 	mutex_init(&vml_mutex);
vml_mutex        1074 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex        1106 drivers/video/fbdev/vermilion/vermilion.c 			mutex_unlock(&vml_mutex);
vml_mutex        1121 drivers/video/fbdev/vermilion/vermilion.c 			mutex_lock(&vml_mutex);
vml_mutex        1126 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);
vml_mutex        1139 drivers/video/fbdev/vermilion/vermilion.c 	mutex_lock(&vml_mutex);
vml_mutex        1141 drivers/video/fbdev/vermilion/vermilion.c 		mutex_unlock(&vml_mutex);
vml_mutex        1151 drivers/video/fbdev/vermilion/vermilion.c 	mutex_unlock(&vml_mutex);