share/man/man9/KASSERT.9

   1 .\" -*- nroff -*-
   2 .\"
   3 .\" Copyright (c) 2000 Jonathan M. Bresler
   4 .\"
   5 .\" All rights reserved.
   6 .\"
   7 .\" This program is free software.
   8 .\"
   9 .\" Redistribution and use in source and binary forms, with or without
  10 .\" modification, are permitted provided that the following conditions
  11 .\" are met:
  12 .\" 1. Redistributions of source code must retain the above copyright
  13 .\"    notice, this list of conditions and the following disclaimer.
  14 .\" 2. Redistributions in binary form must reproduce the above copyright
  15 .\"    notice, this list of conditions and the following disclaimer in the
  16 .\"    documentation and/or other materials provided with the distribution.
  17 .\"
  18 .\" THIS SOFTWARE IS PROVIDED BY THE DEVELOPERS ``AS IS'' AND ANY EXPRESS OR
  19 .\" IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  20 .\" OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  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$
  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 .Cd "options INVARIANTS"
  39 .Pp
  40 .In sys/param.h
  41 .In sys/systm.h
  42 .Fn KASSERT expression msg
  43 .Sh DESCRIPTION
  44 In a kernel compiled with
  45 .Cd "options INVARIANTS" ,
  46 the
  47 .Fn KASSERT
  48 macro tests the given
  49 .Fa expression
  50 and if it is false,
  51 calls the
  52 .Xr panic 9
  53 function, terminating the running system.
  54 .Pp
  55 In a kernel that does not have
  56 .Cd "options INVARIANTS" ,
  57 the
  58 .Fn KASSERT
  59 macro is defined to be a no-op.
  60 The
  61 second argument is a
  62 .Xr printf 9
  63 format string and its arguments,
  64 enclosed in parentheses.
  65 .Sh EXAMPLES
  66 The kernel function
  67 .Fn vput
  68 must not be called with a
  69 .Dv NULL
  70 pointer.
  71 .Bd -literal -offset indent
  72 void
  73 vput(vp)
  74         struct vnode *vp;
  75 {
  76         struct proc *p = curproc;
  77         KASSERT(vp != NULL, ("vput: null vp"));
  78         ...
  79 }
  80 .Ed
  81 .Sh SEE ALSO
  82 .Xr config 8 ,
  83 .Xr panic 9
  84 .Sh AUTHORS
  85 This manual page was written by
  86 .An Jonathan M. Bresler
  87 .Aq jmb@FreeBSD.org .