getchar_timeout   339 arch/x86/boot/boot.h int getchar_timeout(void);
getchar_timeout   210 arch/x86/boot/video.c 		key = getchar_timeout();