summaryrefslogtreecommitdiff
path: root/share/man/man9/CONDSPLASSERT.9
diff options
context:
space:
mode:
authorBruce Evans <bde@FreeBSD.org>2001-10-04 09:46:01 +0000
committerBruce Evans <bde@FreeBSD.org>2001-10-04 09:46:01 +0000
commitf350e13c63d08e2f47d0ab7439cc1073314fb6c7 (patch)
tree584010ef12f9b30ae86c0a6ac5e3ee6bc213020e /share/man/man9/CONDSPLASSERT.9
parentc042007e1450ee2acfbc2dce90e2c7e9fef2eb5b (diff)
Notes
Diffstat (limited to 'share/man/man9/CONDSPLASSERT.9')
-rw-r--r--share/man/man9/CONDSPLASSERT.9116
1 files changed, 0 insertions, 116 deletions
diff --git a/share/man/man9/CONDSPLASSERT.9 b/share/man/man9/CONDSPLASSERT.9
deleted file mode 100644
index 347f4c704c3a..000000000000
--- a/share/man/man9/CONDSPLASSERT.9
+++ /dev/null
@@ -1,116 +0,0 @@
-.\" Copyright (c) 2000 Jeroen Ruigrok van der Werven,
-.\" Jonathan M. Bresler
-.\"
-.\" All rights reserved.
-.\"
-.\" This program is free software.
-.\"
-.\" Redistribution and use in source and binary forms, with or without
-.\" modification, are permitted provided that the following conditions
-.\" are met:
-.\" 1. Redistributions of source code must retain the above copyright
-.\" notice, this list of conditions and the following disclaimer.
-.\" 2. Redistributions in binary form must reproduce the above copyright
-.\" notice, this list of conditions and the following disclaimer in the
-.\" documentation and/or other materials provided with the distribution.
-.\"
-.\" THIS SOFTWARE IS PROVIDED BY THE AUTHOR(S) ``AS IS'' AND ANY EXPRESS OR
-.\" IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
-.\" OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
-.\" IN NO EVENT SHALL THE AUTHOR(S) BE LIABLE FOR ANY DIRECT, INDIRECT,
-.\" INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
-.\" NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
-.\" DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
-.\" THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
-.\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
-.\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-.\"
-.\" $FreeBSD$
-.\"
-.Dd March 19, 2000
-.Os
-.Dt CONDSPLASSERT 9
-.Sh NAME
-.Nm CONDSPLASSERT
-.Nd conditional kernel spl level verification macro
-.Sh SYNOPSIS
-.Cd options INVARIANTS
-.Cd options INVARIANT_SUPPORT
-.Fn CONDSPLASSERT condition level "const char *msg"
-.Sh DESCRIPTION
-.Bf -symbolic
-This API is deprecated.
-Use mutexes to protect data structures instead.
-See
-.Xr mutex 9
-for more information.
-.Ef
-.Pp
-In a kernel compiled with both "options INVARIANTS"
-and "options INVARIANT_SUPPORT",
-the
-.Fn CONDSPLASSERT
-macro compares the current spl level of the kernel with the spl
-.Fa level
-specified in the macro
-.Fn CONDSPLASSERT
-if the specified condition is met.
-If the specified
-.Fa level
-is not active
-.Fn CONDSPLASSERT
-calls the
-.Fn KASSERT
-macro with the
-.Fa msg ,
-terminating the running system.
-.Pp
-In a kernel that does not have both "options INVARIANTS"
-and "options INVARIANT_SUPPORT",
-the
-.Fn CONDSPLASSERT
-macro is defined to be a no-op.
-.Pp
-The behaviour of
-.Fn CONDSPLASSERT
-is tunable by means of the
-.Xr sysctl 8
-knob kern.splassertmode.
-When set to 0 the
-.Fn CONDSPLASSERT
-macro is defined to be a no-op.
-When set to 1 the
-.Fn CONDSPLASSERT
-macro is defined to log information to the console.
-When set to 2 the
-.Fn CONDSPLASSERT
-macro is defined to
-.Xr panic 9 .
-.Sh EXAMPLES
-The kernel function
-.Fn swp_pager_meta_build
-must be called
-.Fn splvm
-and has to match a certain object type:
-.Bd -literal -offset indent
-CONDSPLASSERT(object->type == OBJT_SWAP, vm,
- "swp_pager_meta_build");
-if (object->type != OBJT_SWAP) {
- object->type = OBJT_SWAP;
- object->un_pager.swp.swp_bcount = 0;
-.Ed
-.Sh SEE ALSO
-.Xr config 8 ,
-.Xr KASSERT 9 ,
-.Xr panic 9 ,
-.Xr SPLASSERT 9
-.Sh AUTHORS
-.An -nosplit
-This manual page was written by
-.An Jeroen Ruigrok van der Werven
-.Aq asmodai@FreeBSD.org ,
-based on the
-.Xr SPLASSERT 9
-manpage by
-.An Jonathan M. Bresler
-.Aq jmb@FreeBSD.org .