7 #define BUFSIZ 1024 * 32 13 #define FILENAME_MAX 255 16 #define FOPEN_MAX INT32_MAX int kernel_vfprintf(FILE *stream, const char *format, va_list arg)
Definition: kernel_vfprintf.c:553
size_t kernel_fwrite(const void *ptr, size_t size, size_t count, FILE *stream)
Definition: kernel_fwrite.c:3
int kernel_sprintf(char *str, const char *format,...)
Definition: kernel_sprintf.c:5
Object containing information to control a stream.
Definition: stdio.h:76
int kernel_fflush(FILE *stream)
Definition: kernel_fflush.c:4
int kernel_fputc(int character, FILE *stream)
Definition: kernel_fputc.c:3
char buffer[500]
Definition: physical_memory_manager.c:5
int kernel_setvbuf(FILE *stream, char *buffer, int mode, size_t size)
Definition: kernel_setvbuf.c:4
static char mode
Definition: vga_gmode.c:20
FILE * __kernel_stdio_create_stream()
Definition: kernel_stdio.c:4