serial_putchar     98 arch/x86/boot/compressed/misc.c static void serial_putchar(int ch)
serial_putchar     28 arch/x86/boot/tty.c static void __attribute__((section(".inittext"))) serial_putchar(int ch)