tag	line	file	source code
__set_origin	524	drivers/char/console.c	extern void __set_origin(unsigned short);
__set_origin	553	drivers/char/console.c	__set_origin(lines);
__set_origin	574	drivers/char/console.c	__set_origin(lines);
__set_origin	585	drivers/char/console.c	__set_origin(__real_origin);
__set_origin	2196	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);