[src/trunk]: src/sys/arch/hp700/dev Add a KASSERT.

[skrll <skrll%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/35448eb2ff1b
branches:  trunk
changeset: 779363:35448eb2ff1b
user:      skrll <skrll%NetBSD.org@localhost>
date:      Wed May 23 09:49:56 2012 +0000

description:
Add a KASSERT.

diffstat:

 sys/arch/hp700/dev/cpu.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (26 lines):

diff -r a89f521ef219 -r 35448eb2ff1b sys/arch/hp700/dev/cpu.c
--- a/sys/arch/hp700/dev/cpu.c  Wed May 23 08:59:36 2012 +0000
+++ b/sys/arch/hp700/dev/cpu.c  Wed May 23 09:49:56 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: cpu.c,v 1.25 2012/05/23 07:06:02 skrll Exp $   */
+/*     $NetBSD: cpu.c,v 1.26 2012/05/23 09:49:56 skrll Exp $   */
 
 /*     $OpenBSD: cpu.c,v 1.29 2009/02/08 18:33:28 miod Exp $   */
 
@@ -29,7 +29,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: cpu.c,v 1.25 2012/05/23 07:06:02 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: cpu.c,v 1.26 2012/05/23 09:49:56 skrll Exp $");
 
 #include "opt_multiprocessor.h"
 
@@ -151,6 +151,7 @@
        /*
         * Describe the floating-point support.
         */
+       KASSERT(fpu_present);
        aprint_normal("%s: %s floating point, rev %d\n", self->dv_xname,
            hppa_mod_info(HPPA_TYPE_FPU, (fpu_version >> 16) & 0x1f),
            (fpu_version >> 11) & 0x1f);