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