Deleted Added
full compact
KASSERT.9 (79727) KASSERT.9 (88509)
1.\" -*- nroff -*-
2.\"
3.\" Copyright (c) 2000 Jonathan M. Bresler
4.\"
5.\" All rights reserved.
6.\"
7.\" This program is free software.
8.\"

--- 12 unchanged lines hidden (view full) ---

21.\" IN NO EVENT SHALL THE DEVELOPERS BE LIABLE FOR ANY DIRECT, INDIRECT,
22.\" INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23.\" NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24.\" DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25.\" THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26.\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27.\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28.\"
1.\" -*- nroff -*-
2.\"
3.\" Copyright (c) 2000 Jonathan M. Bresler
4.\"
5.\" All rights reserved.
6.\"
7.\" This program is free software.
8.\"

--- 12 unchanged lines hidden (view full) ---

21.\" IN NO EVENT SHALL THE DEVELOPERS BE LIABLE FOR ANY DIRECT, INDIRECT,
22.\" INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23.\" NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24.\" DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25.\" THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26.\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27.\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28.\"
29.\" $FreeBSD: head/share/man/man9/KASSERT.9 79727 2001-07-14 19:41:16Z schweikh $
29.\" $FreeBSD: head/share/man/man9/KASSERT.9 88509 2001-12-26 23:14:04Z davidc $
30.\"
31.Dd January 14, 2000
32.Os
33.Dt KASSERT 9
34.Sh NAME
35.Nm KASSERT
36.Nd kernel expression verification macro
37.Sh SYNOPSIS
30.\"
31.Dd January 14, 2000
32.Os
33.Dt KASSERT 9
34.Sh NAME
35.Nm KASSERT
36.Nd kernel expression verification macro
37.Sh SYNOPSIS
38.In sys/param.h
39.In sys/systm.h
38.Cd options INVARIANTS
40.Cd options INVARIANTS
39.Fn KASSERT expression "const char *msg"
41.Fn KASSERT expression msg
40.Sh DESCRIPTION
41In a kernel compiled with "options INVARIANTS",
42the
43.Fn KASSERT
44macro tests the given
45.Ar expression
46and if it is false,
47calls the

--- 13 unchanged lines hidden (view full) ---

61vput(vp)
62 struct vnode *vp;
63{
64 struct proc *p = curproc;
65 KASSERT(vp != NULL, ("vput: null vp"));
66 ...
67}
68.Ed
42.Sh DESCRIPTION
43In a kernel compiled with "options INVARIANTS",
44the
45.Fn KASSERT
46macro tests the given
47.Ar expression
48and if it is false,
49calls the

--- 13 unchanged lines hidden (view full) ---

63vput(vp)
64 struct vnode *vp;
65{
66 struct proc *p = curproc;
67 KASSERT(vp != NULL, ("vput: null vp"));
68 ...
69}
70.Ed
71.Sh NOTES
72.Fa msg
73must be enclosed in brackets.
69.Sh SEE ALSO
70.Xr config 8 ,
71.Xr panic 9
72.Sh AUTHORS
73This manual page was written by
74.An Jonathan M. Bresler
75.Aq jmb@FreeBSD.org .
74.Sh SEE ALSO
75.Xr config 8 ,
76.Xr panic 9
77.Sh AUTHORS
78This manual page was written by
79.An Jonathan M. Bresler
80.Aq jmb@FreeBSD.org .