blob: bab6455adb9d7495ece2fe6303f66e2fd0196cd6 (
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
36
37
|
#include <stdarg.h>
#include <stdio.h>
#include <string.h>
#include "_stdio.h"
/** write formatted output to a file stream **/
GCC_SSE_HACK
int fprintf(FILE * restrict stream, const char * restrict format, ...)
{
int ret = 0;
va_list ap;
struct io_options opt = {0};
SIGNAL_SAFE(0);
ASSERT_NOOVERLAP(stream, sizeof(*stream), format, strlen(format));
opt.fnname = "fprintf";
opt.stream = stream;
va_start(ap, format);
ret = __printf(&opt, format, ap);
va_end(ap);
/*
RETURN_SUCCESS(the number of characters written);
RETURN_FAILURE(NEGATIVE());
*/
return ret;
}
/***
writes a formatted string to ARGUMENT(stream). The format of ARGUMENT(format)
and the variadic arguments is the same as that for FUNCTION(printf).
***/
/*
STDC(1)
*/
|
