taglinefilesource code
initscreen23arch/ppc/kernel/raw_printf.cstatic void initscreen(void );
initscreen511arch/ppc/kernel/raw_printf.cstatic void initscreen(void )
initscreen810arch/ppc/kernel/raw_printf.cinitscreen();