2000-03-19 14:43:03 +00:00
|
|
|
.\" 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$
|
|
|
|
|
.\"
|
2000-12-11 15:47:53 +00:00
|
|
|
.Dd March 19, 2000
|
2000-03-19 14:43:03 +00:00
|
|
|
.Os
|
|
|
|
|
.Dt CONDSPLASSERT 9
|
|
|
|
|
.Sh NAME
|
|
|
|
|
.Nm CONDSPLASSERT
|
|
|
|
|
.Nd conditional kernel spl level verification macro
|
|
|
|
|
.Sh SYNOPSIS
|
2000-03-20 12:29:59 +00:00
|
|
|
.Cd options INVARIANTS
|
|
|
|
|
.Cd options INVARIANT_SUPPORT
|
2000-05-11 16:54:52 +00:00
|
|
|
.Fn CONDSPLASSERT condition level "const char *msg"
|
2000-03-19 14:43:03 +00:00
|
|
|
.Sh DESCRIPTION
|
2001-02-01 16:38:02 +00:00
|
|
|
.Bf -symbolic
|
|
|
|
|
This API is deprecated.
|
|
|
|
|
Use mutexes to protect data structures instead.
|
|
|
|
|
See
|
2000-10-26 23:30:01 +00:00
|
|
|
.Xr mutex 9
|
2001-02-01 16:38:02 +00:00
|
|
|
for more information.
|
|
|
|
|
.Ef
|
2000-10-26 23:30:01 +00:00
|
|
|
.Pp
|
2000-03-19 14:43:03 +00:00
|
|
|
In a kernel compiled with both "options INVARIANTS"
|
|
|
|
|
and "options INVARIANT_SUPPORT",
|
2000-03-19 15:55:38 +00:00
|
|
|
the
|
2000-03-19 14:43:03 +00:00
|
|
|
.Fn CONDSPLASSERT
|
|
|
|
|
macro compares the current spl level of the kernel with the spl
|
2001-02-01 16:38:02 +00:00
|
|
|
.Fa level
|
2000-03-19 14:43:03 +00:00
|
|
|
specified in the macro
|
|
|
|
|
.Fn CONDSPLASSERT
|
|
|
|
|
if the specified condition is met.
|
|
|
|
|
If the specified
|
2001-02-01 16:38:02 +00:00
|
|
|
.Fa level
|
2000-03-19 14:43:03 +00:00
|
|
|
is not active
|
|
|
|
|
.Fn CONDSPLASSERT
|
2000-03-19 15:55:38 +00:00
|
|
|
calls the
|
2000-03-19 14:43:03 +00:00
|
|
|
.Fn KASSERT
|
|
|
|
|
macro with the
|
2001-02-01 16:38:02 +00:00
|
|
|
.Fa msg ,
|
2000-03-19 14:43:03 +00:00
|
|
|
terminating the running system.
|
|
|
|
|
.Pp
|
|
|
|
|
In a kernel that does not have both "options INVARIANTS"
|
|
|
|
|
and "options INVARIANT_SUPPORT",
|
2000-03-19 15:55:38 +00:00
|
|
|
the
|
2000-03-19 14:43:03 +00:00
|
|
|
.Fn CONDSPLASSERT
|
2000-03-19 15:55:38 +00:00
|
|
|
macro is defined to be a no-op.
|
2000-03-19 15:47:33 +00:00
|
|
|
.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 .
|
2000-03-20 12:29:59 +00:00
|
|
|
.Sh EXAMPLES
|
2000-03-19 14:43:03 +00:00
|
|
|
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
|
|
|
|
|
.Pp
|
|
|
|
|
.Sh SEE ALSO
|
|
|
|
|
.Xr config 8 ,
|
|
|
|
|
.Xr KASSERT 9 ,
|
|
|
|
|
.Xr panic 9 ,
|
|
|
|
|
.Xr SPLASSERT 9
|
|
|
|
|
.Sh AUTHORS
|
2000-11-22 09:35:58 +00:00
|
|
|
.An -nosplit
|
2000-03-20 12:29:59 +00:00
|
|
|
This manual page was written by
|
2000-03-19 14:43:03 +00:00
|
|
|
.An Jeroen Ruigrok van der Werven
|
2000-03-24 01:49:46 +00:00
|
|
|
.Aq asmodai@FreeBSD.org ,
|
2000-03-19 14:43:03 +00:00
|
|
|
based on the
|
2000-03-19 15:55:38 +00:00
|
|
|
.Xr SPLASSERT 9
|
2000-03-24 01:49:46 +00:00
|
|
|
manpage by
|
|
|
|
|
.An Jonathan M. Bresler
|
|
|
|
|
.Aq jmb@FreeBSD.org .
|
