tag	line	file	source code
__set_origin	379	drivers/char/console.c	__set_origin(lines);
__set_origin	390	drivers/char/console.c	__set_origin(lines);
__set_origin	400	drivers/char/console.c	__set_origin(__real_origin);