From c5dce7b8ff6d7b612d1b70eceab79b7502d0e715 Mon Sep 17 00:00:00 2001
From: kleink <kleink@NetBSD.org>
Date: Sun, 6 Jun 1999 22:50:26 +0000
Subject: [PATCH] Note that an EFAULT condition cannot be guaranteed to be
 detected (i.e. in the MD implementation of pipe(2)); addresses PR kern/7720.

---
 lib/libc/sys/intro.2 | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/lib/libc/sys/intro.2 b/lib/libc/sys/intro.2
index 3cb5f9680343..37c3e94cb098 100644
--- a/lib/libc/sys/intro.2
+++ b/lib/libc/sys/intro.2
@@ -1,4 +1,4 @@
-.\"	$NetBSD: intro.2,v 1.19 1999/03/24 16:36:10 mycroft Exp $
+.\"	$NetBSD: intro.2,v 1.20 1999/06/06 22:50:26 kleink Exp $
 .\"
 .\" Copyright (c) 1980, 1983, 1986, 1991, 1993
 .\"	The Regents of the University of California.  All rights reserved.
@@ -33,7 +33,7 @@
 .\"
 .\"     @(#)intro.2	8.5 (Berkeley) 2/27/95
 .\"
-.Dd March 22, 1999
+.Dd June 7, 1999
 .Dt INTRO 2
 .Os
 .Sh NAME
@@ -154,6 +154,9 @@ by its file access permissions.
 .It Er 14 EFAULT Em "Bad address" .
 The system detected an invalid address in attempting to
 use an argument of a call.
+The reliable detection of this error cannot be guaranteed and when not detected
+may result in the generation of a signal, indicating an address violation,
+which is sent to the process.
 .It Er 15 ENOTBLK Em "Not a block device" .
 A block device operation was attempted on a non-block device or file.
 .It Er 16 EBUSY Em "Resource busy" .