tag	line	file	source code
CRT_putc	17	arch/ppc/kernel/raw_printf.c	int CRT_putc(int , unsigned char );
CRT_putc	328	arch/ppc/kernel/raw_printf.c	CRT_putc(port, c);
CRT_putc	548	arch/ppc/kernel/raw_printf.c	int CRT_putc(int port, unsigned char c)