taglinefilesource code
CRT_putc17arch/ppc/kernel/raw_printf.cint CRT_putc(int , unsigned char );
CRT_putc328arch/ppc/kernel/raw_printf.cCRT_putc(port, c);
CRT_putc548arch/ppc/kernel/raw_printf.cint CRT_putc(int port, unsigned char c)