blob: 408c9d72d4dfa3fa56b5db360d9d3fa216a51f9b (
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
33
34
35
|
#if 0
#include <stdio.h>
#include <stdarg.h>
/** write formatted output **/
int printf_s(const char *format, ...)
{
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)
*/
#endif
|
