Function rms_int_debug_readers_dec

freebsd/kern/kern_rmlock.c:941–948

}

static void
rms_int_debug_readers_dec(struct rmslock *rms)
{
	int old;

	old = atomic_fetchadd_int(&rms->debug_readers, -1);
	KASSERT(old > 0, ("%s: bad readers count %d\n", __func__, old));
}
#else
static void
rms_int_debug_readers_inc(struct rmslock *rms)