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