taglinefilesource code
scrdown481drivers/char/console.cscrdown(currcons,top,bottom);
scrdown825drivers/char/console.cscrdown(currcons,y,bottom);