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