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