Module Name: src Committed By: martin Date: Sat Sep 14 20:47:48 UTC 2013
Modified Files: src/sys/kern: kern_rndsink.c Log Message: Move a few CTASSERT to global scope To generate a diff of this commit: cvs rdiff -u -r1.5 -r1.6 src/sys/kern/kern_rndsink.c Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
Modified files: Index: src/sys/kern/kern_rndsink.c diff -u src/sys/kern/kern_rndsink.c:1.5 src/sys/kern/kern_rndsink.c:1.6 --- src/sys/kern/kern_rndsink.c:1.5 Tue Aug 27 19:30:10 2013 +++ src/sys/kern/kern_rndsink.c Sat Sep 14 20:47:48 2013 @@ -1,4 +1,4 @@ -/* $NetBSD: kern_rndsink.c,v 1.5 2013/08/27 19:30:10 riastradh Exp $ */ +/* $NetBSD: kern_rndsink.c,v 1.6 2013/09/14 20:47:48 martin Exp $ */ /*- * Copyright (c) 2013 The NetBSD Foundation, Inc. @@ -30,7 +30,7 @@ */ #include <sys/cdefs.h> -__KERNEL_RCSID(0, "$NetBSD: kern_rndsink.c,v 1.5 2013/08/27 19:30:10 riastradh Exp $"); +__KERNEL_RCSID(0, "$NetBSD: kern_rndsink.c,v 1.6 2013/09/14 20:47:48 martin Exp $"); #include <sys/param.h> #include <sys/types.h> @@ -118,16 +118,18 @@ rndpool_extract(void *buffer, size_t byt * and return true. Otherwise, leave the buffer alone and return * false. */ + +CTASSERT(RND_ENTROPY_THRESHOLD <= 0xffffffffUL); +CTASSERT(RNDSINK_MAX_BYTES <= (0xffffffffUL - RND_ENTROPY_THRESHOLD)); +CTASSERT((RNDSINK_MAX_BYTES + RND_ENTROPY_THRESHOLD) <= + (0xffffffffUL / NBBY)); + static bool rndpool_maybe_extract(void *buffer, size_t bytes) { bool ok; KASSERT(bytes <= RNDSINK_MAX_BYTES); - CTASSERT(RND_ENTROPY_THRESHOLD <= 0xffffffffUL); - CTASSERT(RNDSINK_MAX_BYTES <= (0xffffffffUL - RND_ENTROPY_THRESHOLD)); - CTASSERT((RNDSINK_MAX_BYTES + RND_ENTROPY_THRESHOLD) <= - (0xffffffffUL / NBBY)); const uint32_t bits_needed = ((bytes + RND_ENTROPY_THRESHOLD) * NBBY);