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