From b01cc3ff0abb6ec11dce814fd7ff5fd10b13bfda Mon Sep 17 00:00:00 2001
From: christos <christos@NetBSD.org>
Date: Tue, 3 Oct 2006 18:26:03 +0000
Subject: [PATCH] Coverity CID 3170,3171: Add KASSERT.

---
 sys/uvm/uvm_fault.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/sys/uvm/uvm_fault.c b/sys/uvm/uvm_fault.c
index 82af68e9cb9a..b3e327b2d2c6 100644
--- a/sys/uvm/uvm_fault.c
+++ b/sys/uvm/uvm_fault.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: uvm_fault.c,v 1.112 2006/09/15 15:51:13 yamt Exp $	*/
+/*	$NetBSD: uvm_fault.c,v 1.113 2006/10/03 18:26:03 christos Exp $	*/
 
 /*
  *
@@ -39,7 +39,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: uvm_fault.c,v 1.112 2006/09/15 15:51:13 yamt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: uvm_fault.c,v 1.113 2006/10/03 18:26:03 christos Exp $");
 
 #include "opt_uvmhist.h"
 
@@ -1816,6 +1816,7 @@ Case2:
 			 * clear its clean flag now.
 			 */
 
+			KASSERT(uobj != NULL);
 			pg->flags &= ~(PG_CLEAN);
 			uao_dropswap(uobj, pg->offset >> PAGE_SHIFT);
 		}