serial_putchar 117 arch/x86/boot/compressed/misc.c serial_putchar('\r'); serial_putchar 118 arch/x86/boot/compressed/misc.c serial_putchar(*str++); serial_putchar 58 arch/x86/boot/tty.c serial_putchar(ch);