CVS: cvs.openbsd.org: src

[Claudio Jeker]

CVSROOT:        /cvs
Module name:    src
Changes by:     clau...@cvs.openbsd.org 2023/08/10 14:44:52

Modified files:
        sys/kern       : kern_synch.c 

Log message:
Add some KASSERT on the proc p_stat in sleep_finish()
OK mpi@