#include "stdio.h"
#include <stdint.h>
#include <stdarg.h>
#include "stdlib.h"
Go to the source code of this file.
|
int | kernel_setvbuf (FILE *stream, char *buffer, int mode, size_t size) |
|
int | kernel_sprintf (char *str, const char *format,...) |
|
int | kernel_vfprintf (FILE *stream, const char *format, va_list arg) |
|
int | kernel_fputc (int character, FILE *stream) |
|
size_t | kernel_fwrite (const void *ptr, size_t size, size_t count, FILE *stream) |
|
int | kernel_fflush (FILE *stream) |
|
FILE * | __kernel_stdio_create_stream () |
|
◆ _IOFBF
◆ _IOLBF
◆ _IONBF
◆ BUFSIZ
Size of the stream buffer.
◆ EOF
Value returned when internal stream position has reached the end of file.
◆ FILENAME_MAX
Maximum length of file names.
◆ FOPEN_MAX
#define FOPEN_MAX INT32_MAX |
Potential limit of simultaneous open streams.
◆ L_tmpnam
Minimum length for temporary file name.
◆ SEEK_CUR
Seek-Current mode (relative to the current position)
◆ SEEK_END
Seek-End mode (relative to the end of the file)
◆ SEEK_SET
Seek-Set mode (position is absolute)
◆ TMP_MAX
Maximum number of temporary files.
◆ __kernel_stdio_create_stream()
FILE* __kernel_stdio_create_stream |
( |
| ) |
|
◆ kernel_fflush()
int kernel_fflush |
( |
FILE * |
stream | ) |
|
◆ kernel_fputc()
int kernel_fputc |
( |
int |
character, |
|
|
FILE * |
stream |
|
) |
| |
◆ kernel_fwrite()
◆ kernel_setvbuf()
int kernel_setvbuf |
( |
FILE * |
stream, |
|
|
char * |
buffer, |
|
|
int |
mode, |
|
|
size_t |
size |
|
) |
| |
◆ kernel_sprintf()
int kernel_sprintf |
( |
char * |
str, |
|
|
const char * |
format, |
|
|
|
... |
|
) |
| |
◆ kernel_vfprintf()
int kernel_vfprintf |
( |
FILE * |
stream, |
|
|
const char * |
format, |
|
|
va_list |
arg |
|
) |
| |