wsemul_dumb_translate   53 dev/wscons/wsemul_dumb.c int	wsemul_dumb_translate(void *cookie, keysym_t, char **);
wsemul_dumb_translate   62 dev/wscons/wsemul_dumb.c 	wsemul_dumb_translate,