taglinefilesource code
saved_x1230drivers/char/console.csaved_x    = x;
saved_x1244drivers/char/console.cgotoxy(currcons,saved_x,saved_y);