1 /* This header file is machine generated.
2 Modify EiC/config/genstdio.c, or the target independent source
3 files it reads, in order to modify this file. Any
4 direct modifications to this file will be lost.
7 #if defined(_need_size_t) && !defined(_SIZE_T)
9 typedef unsigned int size_t;
12 #if defined( _need_ptrdiff_t) && !defined(_PTRDIFF_T)
14 typedef int ptrdiff_t;
17 #if defined( _need_wchar_t) && !defined(_WCHAR_T)
19 typedef short wchar_t;
22 #if defined( _need_NULL) && !defined (NULL)
26 #if defined( _need_clock_t) && !defined(_CLOCK_T)
28 typedef unsigned long clock_t; /* units=ticks (typically 60/sec) */
31 #if defined(_need_time_t) && !defined(_TIME_T)
33 typedef long time_t; /* value = secs since epoch */
36 #if defined(_need_eic_ptr) && !defined(_eic_ptr) && !defined(_EiC)
38 typedef struct {void *p, *sp, *ep;} ptr_t;