freebsd-skq/share/man/man9/KASSERT.9

.\" -*- nroff -*-
.\"
.\" Copyright (c) 2000 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 DEVELOPERS ``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 DEVELOPERS 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 January 14, 2000
.Os
.Dt KASSERT 9
.Sh NAME
.Nm KASSERT
.Nd kernel expression verification macro
.Sh SYNOPSIS
.Cd "options INVARIANTS"
.Pp
.In sys/param.h
.In sys/systm.h
.Fn KASSERT expression msg
.Sh DESCRIPTION
In a kernel compiled with
.Cd "options INVARIANTS" ,
the
.Fn KASSERT
macro tests the given
.Fa expression
and if it is false,
calls the
.Xr panic 9
function, terminating the running system.
.Pp
In a kernel that does not have
.Cd "options INVARIANTS" ,
the
.Fn KASSERT
macro is defined to be a no-op.
.Sh EXAMPLES
The kernel function
.Fn vput
must not be called with a
.Dv NULL
pointer.
.Bd -literal -offset indent
void
vput(vp)
        struct vnode *vp;
{
	struct proc *p = curproc;
	KASSERT(vp != NULL, ("vput: null vp"));
	...
}
.Ed
.Sh NOTES
.Fa msg
must be enclosed in parentheses.
.Sh SEE ALSO
.Xr config 8 ,
.Xr panic 9
.Sh AUTHORS
This manual page was written by
.An Jonathan M. Bresler
.Aq jmb@FreeBSD.org .
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.\" -- nroff --`
			`.\"`
Assorted bag o' fixes: fix Jonathan's name, fix copyright date, man -> manual, add const before char *msg, add email address. 2000-03-21 13:18:40 +00:00			`.\" Copyright (c) 2000 Jonathan M. Bresler`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.\"`
			`.\" 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 DEVELOPERS ``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 DEVELOPERS 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 January 14, 2000`
			`.Os`
			`.Dt KASSERT 9`
			`.Sh NAME`
			`.Nm KASSERT`
			`.Nd kernel expression verification macro`
			`.Sh SYNOPSIS`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`.Cd "options INVARIANTS"`
			`.Pp`
Update function definitions and required include files to reflect the current state of the system. Approved by: alfred 2001-12-26 23:14:04 +00:00			`.In sys/param.h`
			`.In sys/systm.h`
			`.Fn KASSERT expression msg`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Sh DESCRIPTION`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`In a kernel compiled with`
			`.Cd "options INVARIANTS" ,`
Removed whitespace at end-of-line; no content changes. I simply did cd src/share; find man[1-9] -type f\|xargs perl -pi -e 's/[ \t]+$//' BTW, what editors are the culprits? I'm using vim and it shows me whitespace at EOL in troff files with a thick blue block... Reviewed by: Silence from cvs diff -b MFC after: 7 days 2001-07-14 19:41:16 +00:00			`the`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Fn KASSERT`
Removed whitespace at end-of-line; no content changes. I simply did cd src/share; find man[1-9] -type f\|xargs perl -pi -e 's/[ \t]+$//' BTW, what editors are the culprits? I'm using vim and it shows me whitespace at EOL in troff files with a thick blue block... Reviewed by: Silence from cvs diff -b MFC after: 7 days 2001-07-14 19:41:16 +00:00			`macro tests the given`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`.Fa expression`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`and if it is false,`
Removed whitespace at end-of-line; no content changes. I simply did cd src/share; find man[1-9] -type f\|xargs perl -pi -e 's/[ \t]+$//' BTW, what editors are the culprits? I'm using vim and it shows me whitespace at EOL in troff files with a thick blue block... Reviewed by: Silence from cvs diff -b MFC after: 7 days 2001-07-14 19:41:16 +00:00			`calls the`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`.Xr panic 9`
			`function, terminating the running system.`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Pp`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`In a kernel that does not have`
			`.Cd "options INVARIANTS" ,`
Removed whitespace at end-of-line; no content changes. I simply did cd src/share; find man[1-9] -type f\|xargs perl -pi -e 's/[ \t]+$//' BTW, what editors are the culprits? I'm using vim and it shows me whitespace at EOL in troff files with a thick blue block... Reviewed by: Silence from cvs diff -b MFC after: 7 days 2001-07-14 19:41:16 +00:00			`the`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Fn KASSERT`
Removed whitespace at end-of-line; no content changes. I simply did cd src/share; find man[1-9] -type f\|xargs perl -pi -e 's/[ \t]+$//' BTW, what editors are the culprits? I'm using vim and it shows me whitespace at EOL in troff files with a thick blue block... Reviewed by: Silence from cvs diff -b MFC after: 7 days 2001-07-14 19:41:16 +00:00			`macro is defined to be a no-op.`
Fix EXAMPLE -> EXAMPLES. Add Xr's for SPLASSERT and CONDSPLASSERT. 2000-03-21 13:21:36 +00:00			`.Sh EXAMPLES`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`The kernel function`
			`.Fn vput`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`must not be called with a`
			`.Dv NULL`
			`pointer.`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Bd -literal -offset indent`
			`void`
			`vput(vp)`
			`struct vnode *vp;`
			`{`
			`struct proc *p = curproc;`
			`KASSERT(vp != NULL, ("vput: null vp"));`
			`...`
			`}`
			`.Ed`
Update function definitions and required include files to reflect the current state of the system. Approved by: alfred 2001-12-26 23:14:04 +00:00			`.Sh NOTES`
			`.Fa msg`
mdoc(7) police: - logically sort the SYNOPSIS section - add missing markup bits - "brackets" -> "parentheses" 2002-01-10 09:20:07 +00:00			`must be enclosed in parentheses.`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Sh SEE ALSO`
			`.Xr config 8 ,`
Remove trailing comma. 2000-03-21 17:34:56 +00:00			`.Xr panic 9`
Document the KASSERT() macro. 2000-01-14 21:41:09 +00:00			`.Sh AUTHORS`
Assorted bag o' fixes: fix Jonathan's name, fix copyright date, man -> manual, add const before char *msg, add email address. 2000-03-21 13:18:40 +00:00			`This manual page was written by`
			`.An Jonathan M. Bresler`
Minor style fixes: freebsd.org -> FreeBSD.org 2000-03-24 01:49:46 +00:00			`.Aq jmb@FreeBSD.org .`