ptychar          1102 drivers/tty/tty_io.c static char ptychar[] = "pqrstuvwxyzabcde";
ptychar          1121 drivers/tty/tty_io.c 		ptychar[i >> 4 & 0xf], i & 0xf);