Go Back    


Recursive Search Engine for Linux and Unix Man Pages by Neo
Man Page or Keyword Search:   man
Select Man Page Set:       apropos Keyword Search (sections above)

KASSERT(9)			  BSD Kernel Developer's Manual 		       KASSERT(9)

NAME
     KASSERT -- kernel expression verification macro

SYNOPSIS
     options INVARIANTS

     #include <sys/param.h>
     #include <sys/systm.h>

     KASSERT(expression, msg);

DESCRIPTION
     In a kernel compiled with options INVARIANTS, the KASSERT() macro tests the given expression
     and if it is false, calls the panic(9) function, terminating the running system.

     In a kernel that does not have options INVARIANTS, the KASSERT() macro is defined to be a
     no-op.  The second argument is a printf(9) format string and its arguments, enclosed in
     parentheses.

EXAMPLES
     The kernel function vput() must not be called with a NULL pointer.

	   void
	   vput(vp)
		   struct vnode *vp;
	   {
		   struct proc *p = curproc;
		   KASSERT(vp != NULL, ("vput: null vp"));
		   ...
	   }

SEE ALSO
     config(8), panic(9)

AUTHORS
     This manual page was written by Jonathan M. Bresler <jmb@FreeBSD.org>.

BSD					 January 14, 2000				      BSD
The UNIX and Linux Forums Man Pages : 2014 The UNIX and Linux Forums


All times are GMT -4. The time now is 03:14 PM.