taglinefilesource code
CRT_putc277arch/ppc/kernel/raw_printf.cCRT_putc(port, c);
CRT_putc537arch/ppc/kernel/raw_printf.cCRT_putc(int port, u_char c)