1 /*
2 * Support file for nvptx in newlib.
3 * Copyright (c) 2015-2018 Mentor Graphics.
4 *
5 * The authors hereby grant permission to use, copy, modify, distribute,
6 * and license this software and its documentation for any purpose, provided
7 * that existing copyright notices are retained in all copies and that this
8 * notice is included verbatim in any distributions. No written agreement,
9 * license, or royalty fee is required for any of the authorized uses.
10 * Modifications to this software may be copyrighted by their authors
11 * and need not follow the licensing terms described here, provided that
12 * the new terms are clearly indicated on the first page of each file where
13 * they apply.
14 */
15
16 #include <picolibc.h>
17
18 #include <stdarg.h>
19
20 extern int vprintf (const char *, va_list);
21
22 int
printf(const char * fmt,...)23 printf (const char *fmt, ...)
24 {
25 va_list args;
26 int res;
27
28 va_start (args, fmt);
29 res = vprintf (fmt, args);
30 va_end (args);
31 return res;
32 }
33
