blob: 92b4ca7c1664c7bb0e9a7d5cd8ed961dab6af6ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#include <stdio.h>
#include <stdarg.h>
#include "_stdio.h"
/** write formatted output **/
int printf_s(const char *format, ...)
{
SIGNAL_SAFE(0);
va_list ap;
va_start(ap, format);
int ret = vfprintf_s(stdout, format, ap);
va_end(ap);
return ret;
}
/***
The fn(fprintf) function writes a formatted string to macro(stdout).
FIXME: printf format goes here
***/
/* UNSPECIFIED: ??? */
/* UNDEFINED: ??? */
/* IMPLEMENTATION: ??? */
/* LOCALE: ??? */
/* RETURN(NEG): an error occurred */
/* RETURN: the number of characters written */
/*
CEXT1(201112)
*/
|
