Rechercher une page de manuel
KASSERT.9freebsd
Langue: en
Version: 309649 (debian - 07/07/09)
Section: 9 (Appels noyau Linux)
BSD mandoc
NAME
KASSERT - kernel expression verification macroSYNOPSIS
options INVARIANTSIn 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 .Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre