tag	line	file	source code
pad_chars	886	drivers/char/keyboard.c	static const char *pad_chars = "0123456789+-*/\015,.?";
pad_chars	936	drivers/char/keyboard.c	put_queue(pad_chars[value]);