taglinefilesource code
s_val25arch/sparc/prom/printf.cchar *s_val;
s_val48arch/sparc/prom/printf.cs_val = va_arg(args, char *);
s_val49arch/sparc/prom/printf.cwhile(*s_val != 0) {
s_val50arch/sparc/prom/printf.cprom_putchar(*s_val);
s_val51arch/sparc/prom/printf.cs_val++;