From: kunst AT prl DOT philips DOT nl
Subject: Re: DFAULT in errno.h
To: turnbull AT shako DOT sk DOT tsukuba DOT ac DOT jp (Stephen Turnbull)
Date: Tue, 26 Jul 1994 13:54:42 +0100 (METDST)
Cc: djgpp AT sun DOT soe DOT clarkson DOT edu (DJGPP users list)

> 
>    Date: Mon, 25 Jul 1994 13:18:30 -0700
>    From: "Roger H. Kou" <rkou AT hto DOT usc DOT edu>
> 
> 
>    Hi,
> 
>    I asked this question earlier and didn't receive any reply,
>    so I will ask again.
> 
>    EFAULT is not defined in errno.h, so what do you do? And
>    what number do you assign?
> 
> Pick any unused errno.  Do a #define for that in errno.h.  Send your
> "diff -C 2 errno.old errno.h > err-diff" to DJ and (optionally) to
> this list.  He may decide that he thinks should be a different number.
>     Aklternatively, if you have access to a Unix GCC, look at their
> errno.h.  Steal that #define.  This is not a sure cure; different
> vendors use different errno.h files.
>     Probably the best solution is to go check and see if there's an
> ANSI or POSIX standard :-)
> 

Actually, there is. POSIX IEEE 1003.1 states:

#define EFAULT 14 /* Bad address */


Pieter Kunst (kunst AT prl DOT philips DOT nl)