SIMPLE SOLUTIONS

KASSERT(9FREEBSD) - Linux man page online | System kernel interfaces

Kernel expression verification macro.

Chapter
January 14, 2000
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 <@FreeBSD.org>.
BSD January 14, 2000 BSD
This manual Reference Other manuals
KASSERT(9freebsd) referred by CTASSERT(9freebsd) | vimage(9freebsd) | vnet(9freebsd)
refer to panic(9freebsd) | printf(9freebsd)
Download raw manual
Main page BSD Kernel Developer's Manual (+1909) BSD (+3984) № 9 (+1939)
Go top