CVS: cvs.openbsd.org: src

[David Gwynne]

CVSROOT:        /cvs
Module name:    src
Changes by:     d...@cvs.openbsd.org    2016/01/15 04:42:47

Modified files:
        sys/kern       : kern_synch.c 

Log message:
KASSERT on refcnt underflow.

ok mpi@ bluhm@