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);