tag
line
file
source code
__set_origin
335
drivers/char/console.c
__set_origin(lines);
__set_origin
346
drivers/char/console.c
__set_origin(lines);
__set_origin
356
drivers/char/console.c
__set_origin(__real_origin);