taglinefilesource code
get_scrmem1554drivers/char/console.cget_scrmem(fg_console);
get_scrmem1583drivers/char/console.cget_scrmem(fg_console);