switch_to_old_console

Declaration

void switch_to_old_console(int old_console);
void switch_to_old_console(int);