Index: siphash.h
===================================================================
RCS file: /cvs/src/sys/crypto/siphash.h,v
retrieving revision 1.1
diff -u -p -r1.1 siphash.h
--- siphash.h	4 Nov 2014 03:01:14 -0000	1.1
+++ siphash.h	4 Nov 2014 06:42:27 -0000
@@ -63,10 +63,13 @@ typedef struct {
 } SIPHASH_KEY;
 
 void		SipHash_Init(SIPHASH_CTX *, const SIPHASH_KEY *);
-void		SipHash_Update(SIPHASH_CTX *, int, int, const void *, size_t);
+void		SipHash_Update(SIPHASH_CTX *, int, int, const void *, size_t)
+		    __bounded((__string__, 4, 5));
 u_int64_t	SipHash_End(SIPHASH_CTX *, int, int);
-void		SipHash_Final(void *, SIPHASH_CTX *, int, int);
-u_int64_t	SipHash(const SIPHASH_KEY *, int, int, const void *, size_t);
+void		SipHash_Final(void *, SIPHASH_CTX *, int, int)
+		    __bounded((__minbytes__, 1, SIPHASH_DIGEST_LENGTH));
+u_int64_t	SipHash(const SIPHASH_KEY *, int, int, const void *, size_t)
+		    __bounded((__string__, 4, 5));
 
 #define SipHash24_Init(_c, _k)		SipHash_Init((_c), (_k))
 #define SipHash24_Update(_c, _p, _l)	SipHash_Update((_c), 2, 4, (_p), (_l))