vmlfb_disable_pipe  821 drivers/video/fbdev/vermilion/vermilion.c 	vmlfb_disable_pipe(vinfo);
vmlfb_disable_pipe  907 drivers/video/fbdev/vermilion/vermilion.c 			vmlfb_disable_pipe(vinfo);
vmlfb_disable_pipe  912 drivers/video/fbdev/vermilion/vermilion.c 			vmlfb_disable_pipe(vinfo);
vmlfb_disable_pipe 1148 drivers/video/fbdev/vermilion/vermilion.c 		vmlfb_disable_pipe(entry);