os/sysroot/usr/include/stdio.h

#ifndef STDIO_H
#define STDIO_H

#include <stdarg.h>
#include <stddef.h>
#include <stdint.h>

#define FILE uint32_t //We're using pointers to FILE even though it's a uint32_t so we can expand to a struct if needed
#define SEEK_CUR 1
#define SEEK_END 2
#define SEEK_SET 3
#define EOF -1

#define stdin __stdio_stdin
#define stdout __stdio_stdout
#define stderr __stdio_stderr

extern FILE* __stdio_stdin;
extern FILE* __stdio_stdout;
extern FILE* __stdio_stderr;

FILE* fopen(char* filename,char* mode);
int fgetc(FILE* stream);
int getc(FILE* stream);
char* fgets(char* str,int count,FILE* stream);
char* gets(char* str);
size_t fread(void* buffer,size_t size,size_t count,FILE* stream);
int fputc(int c,FILE* stream);
int putc(int c,FILE *stream);
int fputs(const char* s,FILE* stream);
size_t fwrite(void* buffer_ptr,size_t size,size_t count,FILE* stream);
int puts(const char* s);
int fprintf(FILE* stream,const char* format,...);
int vfprintf(FILE* stream,const char* format,va_list arg);
int printf(const char* format,...);
int fseek(FILE* stream,long offset,int origin);
long ftell(FILE* stream);
int fclose(FILE* file);
int feof(FILE* stream);
int ferror(FILE* stream);
int fflush(FILE *stream); // GCC required
void setbuf(FILE *restrict stream, char *restrict buf); // GCC required
void rescan_vfs();

#endif