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