ski_do_putchar 216 kernel/arch/ia64/src/drivers/ski.c ski_do_putchar('\r'); ski_do_putchar 218 kernel/arch/ia64/src/drivers/ski.c ski_do_putchar((uint8_t) *s);