K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2020-02-15T23:18:02.872904Z
K 7
svn:log
V 307
sem_remove(): add some asserts.

Assert that sema[idx] allocation from sem[] is sane.
Also assert that sem_mtx is owned, it protects the SEM_ALLOC flag.

Reviewed by:	markj
Tested by:	pho
Sponsored by:	The FreeBSD Foundation (kib)
MFC after:	1 week
Differential revision:	https://reviews.freebsd.org/D23694

END