Watt-32 tcp/ip  2.2 dev-rel.10
printk.h
Go to the documentation of this file.
1 
3 #ifndef _w32_PRINTK_H
4 #define _w32_PRINTK_H
5 
6 #include <stdio.h>
7 #include <stdarg.h>
8 
9 #if defined(__DJGPP__) || defined(__HIGHC__) || defined(__WATCOMC__) || defined(__DMC__)
10  #undef _WIN32 /* Needed for __DMC__ */
11  #include <unistd.h>
12 #endif
13 
14 #if defined(__TURBOC__) || defined(_MSC_VER) || defined(__WATCOMC__) || \
15  defined(__DMC__) || defined(__MINGW32__) || defined(__LCC__)
16  #include <process.h>
17 #endif
18 
19 #ifndef __SYS_CDEFS_H
20 #include <sys/cdefs.h> /* W32_CDECL */
21 #endif
22 
23 #ifdef _w32_WATTCP_H /* if included after wattcp.h (Watt-32 compile) */
24  #define _printk_safe W32_NAMESPACE (_printk_safe)
25  #define _printk_file W32_NAMESPACE (_printk_file)
26  #define _printk_init W32_NAMESPACE (_printk_init)
27  #define _printk_flush W32_NAMESPACE (_printk_flush)
28  #define _printk W32_NAMESPACE (_printk)
29  #define _fputsk W32_NAMESPACE (_fputsk)
30  #define _snprintk W32_NAMESPACE (_snprintk)
31  #define _vsnprintk W32_NAMESPACE (_vsnprintk)
32 #endif
33 
34 extern int _printk_safe;
35 extern FILE *_printk_file;
37 extern int _printk_init (int size, const char *file);
38 extern void _printk_flush (void);
39 
40 extern int _fputsk (const char *buf, FILE *stream);
41 extern int _vsnprintk (char *buf, int len, const char *fmt, va_list ap)
42  ATTR_PRINTF (3,0);
43 
44 extern int MS_CDECL _printk (const char *fmt, ...)
45  ATTR_PRINTF (1,2);
46 
47 extern int MS_CDECL _snprintk (char *buf, int len, const char *fmt, ...)
48  ATTR_PRINTF (3,4);
49 
50 #endif /* _w32_PRINTK_H */
51 
int _printk_safe
Definition: printk.c:55
FILE * _printk_file
Definition: printk.c:58