00001
00003
#ifndef _w32_PRINTK_H
00004
#define _w32_PRINTK_H
00005
00006
#include <stdio.h>
00007
#include <stdarg.h>
00008
00009
#if defined(__DJGPP__) || defined(__HIGHC__) || defined(__WATCOMC__) || defined(__DMC__)
00010
#undef _WIN32
00011
#include <unistd.h>
00012
#endif
00013
00014
#if defined(__TURBOC__) || defined(_MSC_VER) || defined(__WATCOMC__) || \
00015
defined(__DMC__) || defined(__MINGW32__) || defined(__LCC__)
00016
#include <process.h>
00017
#endif
00018
00019
#ifdef _w32_WATTCP_H
00020
#define _printk_safe NAMESPACE (_printk_safe)
00021
#define _printk_file NAMESPACE (_printk_file)
00022
#define _printk_init NAMESPACE (_printk_init)
00023
#define _printk_flush NAMESPACE (_printk_flush)
00024
#define _printk NAMESPACE (_printk)
00025
#define _fputsk NAMESPACE (_fputsk)
00026
#define _snprintk NAMESPACE (_snprintk)
00027
#define _vsnprintk NAMESPACE (_vsnprintk)
00028
#endif
00029
00030
extern int _printk_safe;
00031
extern FILE *
_printk_file;
00033
extern int _printk_init (
int size,
const char *file);
00034
extern void _printk_flush (
void);
00035
00036
extern int _fputsk (
const char *buf, FILE *stream);
00037
extern int _vsnprintk (
char *buf,
int len,
const char *fmt, va_list ap)
00038 ATTR_PRINTF (3,0);
00039
00040
extern int MS_CDECL _printk (
const char *fmt, ...)
00041 ATTR_PRINTF (1,2);
00042
00043 extern
int MS_CDECL _snprintk (
char *buf,
int len, const
char *fmt, ...)
00044 ATTR_PRINTF (3,4);
00045
00046 #endif
00047