src/stdio/stdin.c

   1 #include "stdio_impl.h"
   2
   3 static unsigned char buf[BUFSIZ+UNGET];
   4 static FILE f = {
   5         .buf = buf+UNGET,
   6         .buf_size = sizeof buf-UNGET,
   7         .fd = 0,
   8         .flags = F_PERM | F_NOWR,
   9         .read = __stdio_read,
  10         .seek = __stdio_seek,
  11         .close = __stdio_close,
  12         .lock = -1,
  13 };
  14 FILE *const stdin = &f;
  15 FILE *const __stdin_used = &f;