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