taglinefilesource code
get_scrmem130drivers/char/console.cextern void get_scrmem(int currcons);
get_scrmem388drivers/char/console.cget_scrmem(fg_console);
get_scrmem2143drivers/char/console.cget_scrmem(fg_console);
get_scrmem2229drivers/char/console.cget_scrmem(fg_console);