wimboot/wimboot-2.7.3/src/stdio.h

   1 #ifndef _STDIO_H
   2 #define _STDIO_H
   3
   4 /*
   5  * Copyright (C) 2012 Michael Brown <mbrown@fensystems.co.uk>.
   6  *
   7  * This program is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License as
   9  * published by the Free Software Foundation; either version 2 of the
  10  * License, or (at your option) any later version.
  11  *
  12  * This program is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15  * General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with this program; if not, write to the Free Software
  19  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  20  * 02110-1301, USA.
  21  */
  22
  23 /**
  24  * @file
  25  *
  26  * Standard Input/Output
  27  *
  28  */
  29
  30 #include <stdint.h>
  31 #include <stdarg.h>
  32
  33 extern int putchar ( int character );
  34 extern int getchar ( void );
  35
  36 extern int __attribute__ (( format ( printf, 1, 2 ) ))
  37 printf ( const char *fmt, ... );
  38
  39 extern int __attribute__ (( format ( printf, 3, 4 ) ))
  40 snprintf ( char *buf, size_t size, const char *fmt, ... );
  41
  42 extern int vprintf ( const char *fmt, va_list args );
  43
  44 extern int vsnprintf ( char *buf, size_t size, const char *fmt, va_list args );
  45
  46 #endif /* _STDIO_H */