[src/trunk]: src/share/man/man4 Document 'options NO_PREEMPTION'

[cherry <cherry%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/d04336177d14
branches:  trunk
changeset: 446805:d04336177d14
user:      cherry <cherry%NetBSD.org@localhost>
date:      Thu Dec 20 08:32:55 2018 +0000

description:
Document 'options NO_PREEMPTION'

With prompting from Christoph Badura.

diffstat:

 share/man/man4/options.4 |  9 ++++++++-
 1 files changed, 8 insertions(+), 1 deletions(-)

diffs (23 lines):

diff -r d7a5c0cb645c -r d04336177d14 share/man/man4/options.4
--- a/share/man/man4/options.4  Thu Dec 20 07:30:00 2018 +0000
+++ b/share/man/man4/options.4  Thu Dec 20 08:32:55 2018 +0000
@@ -1,4 +1,4 @@
-.\"    $NetBSD: options.4,v 1.493 2018/12/19 13:57:45 maxv Exp $
+.\"    $NetBSD: options.4,v 1.494 2018/12/20 08:32:55 cherry Exp $
 .\"
 .\" Copyright (c) 1996
 .\"    Perry E. Metzger.  All rights reserved.
@@ -2685,6 +2685,13 @@
 .It 4
 bolded
 .El
+.Ss x86-specific Options
+.Bl -ohang
+.It Cd options NO_PREEMPTION
+Disables
+.Xr kpreempt 9
+support in the kernel.
+.El
 .El
 .\" The following requests should be uncommented and used where appropriate.
 .\" .Sh FILES