taglinefilesource code
deccolm1115drivers/char/console.cdeccolm = on_off;
deccolm1117drivers/char/console.c(void) vc_resize(video_num_lines, deccolm ? 132 : 80);