taglinefilesource code
K_XLATE310drivers/char/vt.ccase K_XLATE:
K_XLATE331drivers/char/vt.cK_XLATE);