tag	line	file	source code
__set_origin	612	drivers/char/console.c	__set_origin(lines);
__set_origin	623	drivers/char/console.c	__set_origin(lines);
__set_origin	633	drivers/char/console.c	__set_origin(__real_origin);
__set_origin	657	drivers/char/console.c	__set_origin(__real_origin);
__set_origin	2094	drivers/char/console.c	__set_origin(blank__origin);