taglinefilesource code
scrdown775drivers/char/console.cscrdown(currcons,top,bottom);
scrdown1235drivers/char/console.cscrdown(currcons,y,bottom);