Searched refs:bios_putchar (Results 1 – 1 of 1) sorted by relevance
40 static void __attribute__((section(".inittext"))) bios_putchar(int ch) in bios_putchar() function57 bios_putchar(ch); in putchar()