set_video 342 arch/x86/boot/boot.h void set_video(void); set_video 177 arch/x86/boot/main.c set_video(); set_video 829 drivers/video/fbdev/pm2fb.c set_video(par, video); set_video 1026 drivers/video/fbdev/pm2fb.c set_video(par, video);