early_putuchar 59 kernel/generic/include/console/console.h extern void early_putuchar(char32_t); early_putuchar 333 kernel/generic/src/console/console.c early_putuchar(ch);