__console_write    34 usr/lib/libsa/_stdio.c void __console_write(char *, size_t);
__console_write    35 usr/lib/libsa/printf.c extern void __console_write(char *buf, size_t len);
__console_write    49 usr/lib/libsa/printf.c 	__console_write((char *)buf, (size_t)len);
__console_write    33 usr/lib/libsa/putchar.c extern void __console_write(char *buf, size_t len);
__console_write    41 usr/lib/libsa/putchar.c 	__console_write(&ch, 1);
__console_write    34 usr/lib/libsa/puts.c extern void __console_write(char *buf, size_t len);
__console_write    40 usr/lib/libsa/puts.c 	__console_write((char *)s, strlen((char *)s) + 1);