tag	line	file	source code
K_XLATE	229	drivers/char/vt.c	case K_XLATE:
K_XLATE	245	drivers/char/vt.c	K_XLATE);