* device/include/pic16/stdio.h, device/lib/pic16/libc/stdio/streams.c,
[fw/sdcc] / device / include / pic16 / stdio.h
index 1444bca49ff4a9eb5ae0930649b81c39179aed53..3c81810a028ed1075dd2b4e7ab1080fc2486ff6c 100644 (file)
@@ -2,7 +2,7 @@
   stdio.h - ANSI functions forward declarations
 
    Ported to PIC16 port by Vangelis Rokas, 2004 (vrokas@otenet.gr)
-   
+
              Written By -  Sandeep Dutta . sandeep.dutta@usa.net (1998)
 
    This program is free software; you can redistribute it and/or modify it
    In other words, you are welcome to use, share and improve this program.
    You are forbidden to forbid anyone else to use, share and improve
    what you give them.   Help stamp out software-hoarding!
+
+   As a special exception, if you link this library with other files,
+   some of which are compiled with SDCC, to produce an executable,
+   this library does not by itself cause the resulting executable
+   to be covered by the GNU General Public License.
+   This exception does not however invalidate any other reasons why
+   the executable file might be covered by the GNU General Public License.
 -------------------------------------------------------------------------*/
 
-/*
-** $Id$
-*/
+#ifndef __STDIO_H
+#define __STDIO_H 1
 
-#ifndef __PIC16_STDIO_H
-#define __PIC16_STDIO_H 1
+/* link the C library */
+#pragma library c
 
 #include <stdarg.h>
 
   typedef unsigned int size_t;
 #endif
 
-typedef void (*pfn_outputchar)(char c, void* p) _REENTRANT;
-
-extern int _print_format (pfn_outputchar pfn, void* pvoid, const char *format, va_list ap);
+/* stream descriptor definition */
+typedef char *FILE;
+
+/* USART and MSSP module stream descriptors */
+
+/* since FILE is declared as a generic pointer,
+ * the upper byte is used to dereference the pointer
+ * information. For the stream descriptors we
+ * use the 5th bit and the lower nubble bits.
+ * Descriptors are denoted by an 1 in bit 5,
+ * further dereference is made for:
+ * <stream>     <3:0> bits
+ *     USART     0 (0x0)
+ *     MSSP      1 (0x1)
+ *     USER     15 (0xf)
+ *
+ * There is a special value for GPSIM specific (see below)
+ * which is:
+ *     GPSIM    14 (0xe)
+ *
+ *
+ * if further stream descriptors need to be added then more
+ * bits of the upper byte can be used
+ */
+
+#define USART_DEREF     0x0
+#define MSSP_DEREF      0x1
+#define USER_DEREF      0xf
+
+#define STREAM_USART    ((FILE *)(0x00200000UL))
+#define STREAM_MSSP     ((FILE *)(0x00210000UL))
+#define STREAM_USER     ((FILE *)(0x002f0000UL))
+
+/* this is a custom dereference which points to a custom
+ * port of GPSIM simulator. This port redirects characters
+ * to /tmp/gpsim.debug.1 file (used for debugging purposes)
+ * NOTICE: This feature is not part of the official gpsim
+ * distribution. Contact vrokas AT users.sourceforge.net
+ * for more info */
+#define GPSIM_DEREF     0xe
+#define STREAM_GPSIM    ((FILE *)(0x002e0000UL))
+
+extern FILE * stdin;
+extern FILE * stdout;
+
+/* printf_small() supports float print */
+void printf_small (const char *, ...);
+
+/* printf_tiny() does not support float print */
+void printf_tiny (const char *, ...);  // __reentrant;
 
-/*-----------------------------------------------------------------------*/
-
-extern void printf_small (char *,...) _REENTRANT;
 extern int printf (const char *,...);
-extern int vprintf (const char *, va_list);
+extern int fprintf (FILE *, const char *,...);
 extern int sprintf (char *, const char *, ...);
+
+extern int vprintf (const char *, va_list);
+extern int vfprintf (FILE * stream, const char *fmt, va_list ap);
 extern int vsprintf (char *, const char *, va_list);
-extern int puts(const char *);
-extern char *gets(char *);
-extern char getchar(void);
-extern void putchar(char);
 
+extern void putchar (char) __wparam __naked;
+
+extern void __stream_putchar (FILE *, char);
+
+extern void __stream_usart_putchar (char c) __wparam __naked;
+extern void __stream_mssp_putchar (char c) __wparam __naked;
+extern void __stream_gpsim_putchar (char c) __wparam __naked;
+
+extern char *gets (char *);
+extern char getchar (void);
 
-#endif /* __PIC16_STDIO_H */
+#endif /* __STDIO_H */