tag	line	file	source code
__set_origin	507	drivers/char/console.c	extern void __set_origin(unsigned short);
__set_origin	536	drivers/char/console.c	__set_origin(lines);
__set_origin	557	drivers/char/console.c	__set_origin(lines);
__set_origin	568	drivers/char/console.c	__set_origin(__real_origin);
__set_origin	2092	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);