taglinefilesource code
CRT_init11arch/ppc/kernel/raw_printf.cint CRT_init(void);
CRT_init317arch/ppc/kernel/raw_printf.cif (is_crt = CRT_init())