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