stdio.c (8a84fc15ae5cafcc366dd85cf8e1ab2040679abc) stdio.c (c888554bf95a5a0a6ac3e2389c6bf1e03e9480ba)
1/*
2 * Copyright (C) Paul Mackerras 1997.
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version
7 * 2 of the License, or (at your option) any later version.
8 */

--- 306 unchanged lines hidden (view full) ---

315printf(const char *fmt, ...)
316{
317 va_list args;
318 int n;
319
320 va_start(args, fmt);
321 n = vsprintf(sprint_buf, fmt, args);
322 va_end(args);
1/*
2 * Copyright (C) Paul Mackerras 1997.
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version
7 * 2 of the License, or (at your option) any later version.
8 */

--- 306 unchanged lines hidden (view full) ---

315printf(const char *fmt, ...)
316{
317 va_list args;
318 int n;
319
320 va_start(args, fmt);
321 n = vsprintf(sprint_buf, fmt, args);
322 va_end(args);
323 console_ops.write(sprint_buf, n);
323 if (console_ops.write)
324 console_ops.write(sprint_buf, n);
324 return n;
325}
325 return n;
326}