taglinefilesource code
newvt371kernel/chr_drv/vt.cint newvt = vt_cons[console].vt_newvt;
newvt373kernel/chr_drv/vt.ccomplete_change_console(newvt);