set_video 295 arch/x86/boot/boot.h void set_video(void); set_video 171 arch/x86/boot/main.c set_video();