taglinefilesource code
get_scrmem1479kernel/chr_drv/console.cget_scrmem(fg_console);
get_scrmem1508kernel/chr_drv/console.cget_scrmem(fg_console);