MicrOS
kernel_stdio.h
Go to the documentation of this file.
1 #ifndef KERNEL_STDIO_H
2 #define KERNEL_STDIO_H
3 
4 #include "stdio.h"
5 
7 #define BUFSIZ 1024 * 32
8 
10 #define EOF -1
11 
13 #define FILENAME_MAX 255
14 
16 #define FOPEN_MAX INT32_MAX
17 
19 #define L_tmpnam 0
20 
22 #define TMP_MAX 0
23 
25 #define SEEK_SET 0
26 
28 #define SEEK_CUR 1
29 
31 #define SEEK_END 2
32 
34 #define _IONBF 0
35 
37 #define _IOLBF 1
38 
40 #define _IOFBF 2
41 
42 #include <stdint.h>
43 #include <stdarg.h>
44 #include "stdlib.h"
45 
46 #ifdef __cplusplus
47 extern "C" {
48 #endif
49 
50 int kernel_setvbuf(FILE *stream, char *buffer, int mode, size_t size);
51 int kernel_sprintf(char *str, const char *format, ...);
52 int kernel_vfprintf(FILE *stream, const char *format, va_list arg);
53 int kernel_fputc(int character, FILE *stream);
54 size_t kernel_fwrite(const void *ptr, size_t size, size_t count, FILE *stream);
55 int kernel_fflush(FILE *stream);
56 
58 
59 #ifdef __cplusplus
60 }
61 #endif
62 
63 #endif
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