KASSERT.9 (79727) | KASSERT.9 (88509) |
---|---|
1.\" -*- nroff -*- 2.\" 3.\" Copyright (c) 2000 Jonathan M. Bresler 4.\" 5.\" All rights reserved. 6.\" 7.\" This program is free software. 8.\" --- 12 unchanged lines hidden (view full) --- 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.\" | 1.\" -*- nroff -*- 2.\" 3.\" Copyright (c) 2000 Jonathan M. Bresler 4.\" 5.\" All rights reserved. 6.\" 7.\" This program is free software. 8.\" --- 12 unchanged lines hidden (view full) --- 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: head/share/man/man9/KASSERT.9 79727 2001-07-14 19:41:16Z schweikh $ | 29.\" $FreeBSD: head/share/man/man9/KASSERT.9 88509 2001-12-26 23:14:04Z davidc $ |
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 | 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.In sys/param.h 39.In sys/systm.h |
|
38.Cd options INVARIANTS | 40.Cd options INVARIANTS |
39.Fn KASSERT expression "const char *msg" | 41.Fn KASSERT expression msg |
40.Sh DESCRIPTION 41In a kernel compiled with "options INVARIANTS", 42the 43.Fn KASSERT 44macro tests the given 45.Ar expression 46and if it is false, 47calls the --- 13 unchanged lines hidden (view full) --- 61vput(vp) 62 struct vnode *vp; 63{ 64 struct proc *p = curproc; 65 KASSERT(vp != NULL, ("vput: null vp")); 66 ... 67} 68.Ed | 42.Sh DESCRIPTION 43In a kernel compiled with "options INVARIANTS", 44the 45.Fn KASSERT 46macro tests the given 47.Ar expression 48and if it is false, 49calls the --- 13 unchanged lines hidden (view full) --- 63vput(vp) 64 struct vnode *vp; 65{ 66 struct proc *p = curproc; 67 KASSERT(vp != NULL, ("vput: null vp")); 68 ... 69} 70.Ed |
71.Sh NOTES 72.Fa msg 73must be enclosed in brackets. |
|
69.Sh SEE ALSO 70.Xr config 8 , 71.Xr panic 9 72.Sh AUTHORS 73This manual page was written by 74.An Jonathan M. Bresler 75.Aq jmb@FreeBSD.org . | 74.Sh SEE ALSO 75.Xr config 8 , 76.Xr panic 9 77.Sh AUTHORS 78This manual page was written by 79.An Jonathan M. Bresler 80.Aq jmb@FreeBSD.org . |