taglinefilesource code
K_XLATE232drivers/char/vt.ccase K_XLATE:
K_XLATE249drivers/char/vt.cK_XLATE);