ski_putuchar 62 kernel/arch/ia64/src/drivers/ski.c static void ski_putuchar(outdev_t *, const char32_t); ski_putuchar 65 kernel/arch/ia64/src/drivers/ski.c .write = ski_putuchar,