taglinefilesource code
get_scrmem127drivers/char/console.cstatic void get_scrmem(int currcons);
get_scrmem396drivers/char/console.cget_scrmem(fg_console);
get_scrmem2055drivers/char/console.cget_scrmem(fg_console);
get_scrmem2135drivers/char/console.cget_scrmem(fg_console);