early_putuchar 57 kernel/generic/include/console/console.h extern void early_putuchar(char32_t); early_putuchar 316 kernel/generic/src/console/console.c early_putuchar(c);