Ejemplo n.º 1
0
void
rw_exit(krwlock_t *rw)
{

#ifdef LOCKDEBUG
	bool shared = !rw_write_held(rw);

	if (shared)
		KASSERT(rw_read_held(rw));
	UNLOCKED(rw, shared);
#endif
	rumpuser_rw_exit(RUMPRW(rw));
}
Ejemplo n.º 2
0
void
rw_exit(krwlock_t *rw)
{

	rumpuser_rw_exit(rw->krw_pthlock);
}