tag	line	file	source code
__set_origin	512	drivers/char/console.c	extern void __set_origin(unsigned short);
__set_origin	541	drivers/char/console.c	__set_origin(lines);
__set_origin	562	drivers/char/console.c	__set_origin(lines);
__set_origin	573	drivers/char/console.c	__set_origin(__real_origin);
__set_origin	2143	drivers/char/console.c	__set_origin(blank__origin);
__set_origin	267	drivers/char/tga.c	__set_origin(__real_origin);
__set_origin	123	drivers/char/vga.c	__set_origin(__real_origin);