taglinefilesource code
newvt535drivers/char/vt.cint newvt = vt_cons[console].vt_newvt;
newvt537drivers/char/vt.ccomplete_change_console(newvt);