Linux Certif

Toute la documentation sur la certification Linux LPI

KASSERT.9freebsd

BSD mandoc

NAME

KASSERT - kernel expression verification macro

SYNOPSIS

options INVARIANTS

In sys/param.h In sys/systm.h Fn KASSERT expression msg

DESCRIPTION

In a kernel compiled with options INVARIANTS the Fn KASSERT macro tests the given Fa 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 Fn 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 Fn 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 An Jonathan M. Bresler Aq jmb@FreeBSD.org .