taglinefilesource code
CRT_getc286arch/ppc/kernel/raw_printf.cc = CRT_getc();
CRT_getc1079arch/ppc/kernel/raw_printf.cint CRT_getc(void)