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