early_putuchar 138 kernel/arch/abs32le/src/abs32le.c void early_putuchar(char32_t ch) early_putuchar 260 kernel/arch/arm64/src/arm64.c void early_putuchar(char32_t c)