tag	line	file	source code
video_on	10	arch/ppc/kernel/raw_printf.c	void video_on(void);
video_on	807	arch/ppc/kernel/raw_printf.c	video_on();