Home | History | Annotate | Line # | Download | only in rumpkern
locks.c revision 1.73
      1  1.73  ozaki /*	$NetBSD: locks.c,v 1.73 2017/01/27 09:50:47 ozaki-r Exp $	*/
      2   1.1  pooka 
      3   1.1  pooka /*
      4  1.54  pooka  * Copyright (c) 2007-2011 Antti Kantee.  All Rights Reserved.
      5   1.1  pooka  *
      6   1.1  pooka  * Redistribution and use in source and binary forms, with or without
      7   1.1  pooka  * modification, are permitted provided that the following conditions
      8   1.1  pooka  * are met:
      9   1.1  pooka  * 1. Redistributions of source code must retain the above copyright
     10   1.1  pooka  *    notice, this list of conditions and the following disclaimer.
     11   1.1  pooka  * 2. Redistributions in binary form must reproduce the above copyright
     12   1.1  pooka  *    notice, this list of conditions and the following disclaimer in the
     13   1.1  pooka  *    documentation and/or other materials provided with the distribution.
     14   1.1  pooka  *
     15   1.1  pooka  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
     16   1.1  pooka  * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     17   1.1  pooka  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     18   1.1  pooka  * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     19   1.1  pooka  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     20   1.1  pooka  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     21   1.1  pooka  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     22   1.1  pooka  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     23   1.1  pooka  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     24   1.1  pooka  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     25   1.1  pooka  * SUCH DAMAGE.
     26   1.1  pooka  */
     27   1.1  pooka 
     28  1.23  pooka #include <sys/cdefs.h>
     29  1.73  ozaki __KERNEL_RCSID(0, "$NetBSD: locks.c,v 1.73 2017/01/27 09:50:47 ozaki-r Exp $");
     30  1.23  pooka 
     31   1.1  pooka #include <sys/param.h>
     32  1.26  pooka #include <sys/kmem.h>
     33   1.1  pooka #include <sys/mutex.h>
     34   1.1  pooka #include <sys/rwlock.h>
     35   1.1  pooka 
     36  1.72  pooka #include <rump-sys/kern.h>
     37  1.72  pooka 
     38  1.18  pooka #include <rump/rumpuser.h>
     39  1.18  pooka 
     40  1.69  pooka #ifdef LOCKDEBUG
     41  1.69  pooka const int rump_lockdebug = 1;
     42  1.69  pooka #else
     43  1.69  pooka const int rump_lockdebug = 0;
     44  1.69  pooka #endif
     45  1.69  pooka 
     46  1.22  pooka /*
     47  1.45  pooka  * Simple lockdebug.  If it's compiled in, it's always active.
     48  1.45  pooka  * Currently available only for mtx/rwlock.
     49  1.45  pooka  */
     50  1.45  pooka #ifdef LOCKDEBUG
     51  1.45  pooka #include <sys/lockdebug.h>
     52  1.45  pooka 
     53  1.45  pooka static lockops_t mutex_lockops = {
     54  1.45  pooka 	"mutex",
     55  1.45  pooka 	LOCKOPS_SLEEP,
     56  1.45  pooka 	NULL
     57  1.45  pooka };
     58  1.45  pooka static lockops_t rw_lockops = {
     59  1.46  pooka 	"rwlock",
     60  1.45  pooka 	LOCKOPS_SLEEP,
     61  1.45  pooka 	NULL
     62  1.45  pooka };
     63  1.45  pooka 
     64  1.73  ozaki #define ALLOCK(lock, ops)				\
     65  1.73  ozaki     lockdebug_alloc(__func__, __LINE__, lock, ops,	\
     66  1.73  ozaki     (uintptr_t)__builtin_return_address(0))
     67  1.45  pooka #define FREELOCK(lock)			\
     68  1.73  ozaki     lockdebug_free(__func__, __LINE__, lock)
     69  1.73  ozaki #define WANTLOCK(lock, shar)				\
     70  1.73  ozaki     lockdebug_wantlock(__func__, __LINE__, lock,	\
     71  1.73  ozaki     (uintptr_t)__builtin_return_address(0), shar)
     72  1.73  ozaki #define LOCKED(lock, shar)				\
     73  1.73  ozaki     lockdebug_locked(__func__, __LINE__, lock, NULL,	\
     74  1.73  ozaki     (uintptr_t)__builtin_return_address(0), shar)
     75  1.45  pooka #define UNLOCKED(lock, shar)		\
     76  1.73  ozaki     lockdebug_unlocked(__func__, __LINE__, lock,	\
     77  1.73  ozaki     (uintptr_t)__builtin_return_address(0), shar)
     78  1.71  ozaki #define BARRIER(lock, slp)		\
     79  1.73  ozaki     lockdebug_barrier(__func__, __LINE__, lock, slp)
     80  1.45  pooka #else
     81  1.45  pooka #define ALLOCK(a, b)
     82  1.45  pooka #define FREELOCK(a)
     83  1.65  njoly #define WANTLOCK(a, b)
     84  1.45  pooka #define LOCKED(a, b)
     85  1.45  pooka #define UNLOCKED(a, b)
     86  1.71  ozaki #define BARRIER(a, b)
     87  1.45  pooka #endif
     88  1.45  pooka 
     89  1.45  pooka /*
     90  1.22  pooka  * We map locks to pthread routines.  The difference between kernel
     91  1.22  pooka  * and rumpuser routines is that while the kernel uses static
     92  1.22  pooka  * storage, rumpuser allocates the object from the heap.  This
     93  1.22  pooka  * indirection is necessary because we don't know the size of
     94  1.38    snj  * pthread objects here.  It is also beneficial, since we can
     95  1.22  pooka  * be easily compatible with the kernel ABI because all kernel
     96  1.22  pooka  * objects regardless of machine architecture are always at least
     97  1.22  pooka  * the size of a pointer.  The downside, of course, is a performance
     98  1.22  pooka  * penalty.
     99  1.22  pooka  */
    100  1.22  pooka 
    101  1.22  pooka #define RUMPMTX(mtx) (*(struct rumpuser_mtx **)(mtx))
    102  1.22  pooka 
    103   1.1  pooka void
    104   1.1  pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
    105   1.1  pooka {
    106  1.57  pooka 	int ruflags = RUMPUSER_MTX_KMUTEX;
    107  1.56  pooka 	int isspin;
    108  1.56  pooka 
    109  1.57  pooka 	CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
    110  1.57  pooka 
    111  1.56  pooka 	/*
    112  1.56  pooka 	 * Try to figure out if the caller wanted a spin mutex or
    113  1.56  pooka 	 * not with this easy set of conditionals.  The difference
    114  1.56  pooka 	 * between a spin mutex and an adaptive mutex for a rump
    115  1.56  pooka 	 * kernel is that the hypervisor does not relinquish the
    116  1.56  pooka 	 * rump kernel CPU context for a spin mutex.  The
    117  1.56  pooka 	 * hypervisor itself may block even when "spinning".
    118  1.56  pooka 	 */
    119  1.56  pooka 	if (type == MUTEX_SPIN) {
    120  1.56  pooka 		isspin = 1;
    121  1.56  pooka 	} else if (ipl == IPL_NONE || ipl == IPL_SOFTCLOCK ||
    122  1.56  pooka 	    ipl == IPL_SOFTBIO || ipl == IPL_SOFTNET ||
    123  1.56  pooka 	    ipl == IPL_SOFTSERIAL) {
    124  1.56  pooka 		isspin = 0;
    125  1.56  pooka 	} else {
    126  1.56  pooka 		isspin = 1;
    127  1.56  pooka 	}
    128   1.1  pooka 
    129  1.57  pooka 	if (isspin)
    130  1.57  pooka 		ruflags |= RUMPUSER_MTX_SPIN;
    131  1.57  pooka 	rumpuser_mutex_init((struct rumpuser_mtx **)mtx, ruflags);
    132  1.45  pooka 	ALLOCK(mtx, &mutex_lockops);
    133   1.1  pooka }
    134   1.1  pooka 
    135   1.1  pooka void
    136   1.1  pooka mutex_destroy(kmutex_t *mtx)
    137   1.1  pooka {
    138   1.1  pooka 
    139  1.45  pooka 	FREELOCK(mtx);
    140  1.22  pooka 	rumpuser_mutex_destroy(RUMPMTX(mtx));
    141   1.1  pooka }
    142   1.1  pooka 
    143   1.1  pooka void
    144   1.1  pooka mutex_enter(kmutex_t *mtx)
    145   1.1  pooka {
    146   1.1  pooka 
    147  1.65  njoly 	WANTLOCK(mtx, 0);
    148  1.71  ozaki 	BARRIER(mtx, 1);
    149  1.22  pooka 	rumpuser_mutex_enter(RUMPMTX(mtx));
    150  1.45  pooka 	LOCKED(mtx, false);
    151   1.1  pooka }
    152  1.56  pooka 
    153  1.56  pooka void
    154  1.56  pooka mutex_spin_enter(kmutex_t *mtx)
    155  1.56  pooka {
    156  1.56  pooka 
    157  1.65  njoly 	WANTLOCK(mtx, 0);
    158  1.71  ozaki 	BARRIER(mtx, 1);
    159  1.61  pooka 	rumpuser_mutex_enter_nowrap(RUMPMTX(mtx));
    160  1.56  pooka 	LOCKED(mtx, false);
    161  1.56  pooka }
    162   1.6  pooka 
    163   1.1  pooka int
    164   1.1  pooka mutex_tryenter(kmutex_t *mtx)
    165   1.1  pooka {
    166  1.60  pooka 	int error;
    167   1.1  pooka 
    168  1.60  pooka 	error = rumpuser_mutex_tryenter(RUMPMTX(mtx));
    169  1.60  pooka 	if (error == 0) {
    170  1.65  njoly 		WANTLOCK(mtx, 0);
    171  1.45  pooka 		LOCKED(mtx, false);
    172  1.45  pooka 	}
    173  1.60  pooka 	return error == 0;
    174   1.1  pooka }
    175   1.1  pooka 
    176   1.1  pooka void
    177   1.1  pooka mutex_exit(kmutex_t *mtx)
    178   1.1  pooka {
    179   1.1  pooka 
    180  1.45  pooka 	UNLOCKED(mtx, false);
    181  1.22  pooka 	rumpuser_mutex_exit(RUMPMTX(mtx));
    182   1.1  pooka }
    183  1.45  pooka __strong_alias(mutex_spin_exit,mutex_exit);
    184   1.6  pooka 
    185   1.1  pooka int
    186   1.1  pooka mutex_owned(kmutex_t *mtx)
    187   1.1  pooka {
    188   1.1  pooka 
    189  1.44  pooka 	return mutex_owner(mtx) == curlwp;
    190  1.44  pooka }
    191  1.44  pooka 
    192  1.44  pooka struct lwp *
    193  1.44  pooka mutex_owner(kmutex_t *mtx)
    194  1.44  pooka {
    195  1.60  pooka 	struct lwp *l;
    196  1.44  pooka 
    197  1.60  pooka 	rumpuser_mutex_owner(RUMPMTX(mtx), &l);
    198  1.60  pooka 	return l;
    199   1.1  pooka }
    200   1.1  pooka 
    201  1.22  pooka #define RUMPRW(rw) (*(struct rumpuser_rw **)(rw))
    202  1.22  pooka 
    203   1.1  pooka /* reader/writer locks */
    204   1.1  pooka 
    205  1.63  pooka static enum rumprwlock
    206  1.63  pooka krw2rumprw(const krw_t op)
    207  1.63  pooka {
    208  1.63  pooka 
    209  1.63  pooka 	switch (op) {
    210  1.63  pooka 	case RW_READER:
    211  1.63  pooka 		return RUMPUSER_RW_READER;
    212  1.63  pooka 	case RW_WRITER:
    213  1.63  pooka 		return RUMPUSER_RW_WRITER;
    214  1.63  pooka 	default:
    215  1.63  pooka 		panic("unknown rwlock type");
    216  1.63  pooka 	}
    217  1.63  pooka }
    218  1.63  pooka 
    219   1.1  pooka void
    220   1.1  pooka rw_init(krwlock_t *rw)
    221   1.1  pooka {
    222   1.1  pooka 
    223  1.22  pooka 	CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
    224  1.22  pooka 
    225  1.22  pooka 	rumpuser_rw_init((struct rumpuser_rw **)rw);
    226  1.45  pooka 	ALLOCK(rw, &rw_lockops);
    227   1.1  pooka }
    228   1.1  pooka 
    229   1.1  pooka void
    230   1.1  pooka rw_destroy(krwlock_t *rw)
    231   1.1  pooka {
    232   1.1  pooka 
    233  1.45  pooka 	FREELOCK(rw);
    234  1.22  pooka 	rumpuser_rw_destroy(RUMPRW(rw));
    235   1.1  pooka }
    236   1.1  pooka 
    237   1.1  pooka void
    238   1.1  pooka rw_enter(krwlock_t *rw, const krw_t op)
    239   1.1  pooka {
    240   1.1  pooka 
    241  1.65  njoly 	WANTLOCK(rw, op == RW_READER);
    242  1.71  ozaki 	BARRIER(rw, 1);
    243  1.64  pooka 	rumpuser_rw_enter(krw2rumprw(op), RUMPRW(rw));
    244  1.45  pooka 	LOCKED(rw, op == RW_READER);
    245   1.1  pooka }
    246   1.1  pooka 
    247   1.1  pooka int
    248   1.1  pooka rw_tryenter(krwlock_t *rw, const krw_t op)
    249   1.1  pooka {
    250  1.60  pooka 	int error;
    251   1.1  pooka 
    252  1.64  pooka 	error = rumpuser_rw_tryenter(krw2rumprw(op), RUMPRW(rw));
    253  1.60  pooka 	if (error == 0) {
    254  1.65  njoly 		WANTLOCK(rw, op == RW_READER);
    255  1.45  pooka 		LOCKED(rw, op == RW_READER);
    256  1.45  pooka 	}
    257  1.60  pooka 	return error == 0;
    258   1.1  pooka }
    259   1.1  pooka 
    260   1.1  pooka void
    261   1.1  pooka rw_exit(krwlock_t *rw)
    262   1.1  pooka {
    263   1.1  pooka 
    264  1.45  pooka #ifdef LOCKDEBUG
    265  1.45  pooka 	bool shared = !rw_write_held(rw);
    266  1.45  pooka 
    267  1.45  pooka 	if (shared)
    268  1.45  pooka 		KASSERT(rw_read_held(rw));
    269  1.45  pooka 	UNLOCKED(rw, shared);
    270  1.45  pooka #endif
    271  1.22  pooka 	rumpuser_rw_exit(RUMPRW(rw));
    272   1.1  pooka }
    273   1.1  pooka 
    274   1.1  pooka int
    275   1.1  pooka rw_tryupgrade(krwlock_t *rw)
    276   1.1  pooka {
    277  1.63  pooka 	int rv;
    278   1.1  pooka 
    279  1.63  pooka 	rv = rumpuser_rw_tryupgrade(RUMPRW(rw));
    280  1.63  pooka 	if (rv == 0) {
    281  1.63  pooka 		UNLOCKED(rw, 1);
    282  1.65  njoly 		WANTLOCK(rw, 0);
    283  1.63  pooka 		LOCKED(rw, 0);
    284  1.63  pooka 	}
    285  1.63  pooka 	return rv == 0;
    286   1.1  pooka }
    287   1.1  pooka 
    288  1.48   haad void
    289  1.48   haad rw_downgrade(krwlock_t *rw)
    290  1.48   haad {
    291  1.48   haad 
    292  1.63  pooka 	rumpuser_rw_downgrade(RUMPRW(rw));
    293  1.63  pooka 	UNLOCKED(rw, 0);
    294  1.65  njoly 	WANTLOCK(rw, 1);
    295  1.63  pooka 	LOCKED(rw, 1);
    296  1.48   haad }
    297  1.48   haad 
    298   1.6  pooka int
    299  1.63  pooka rw_read_held(krwlock_t *rw)
    300   1.6  pooka {
    301  1.60  pooka 	int rv;
    302   1.6  pooka 
    303  1.64  pooka 	rumpuser_rw_held(RUMPUSER_RW_READER, RUMPRW(rw), &rv);
    304  1.60  pooka 	return rv;
    305  1.10     ad }
    306  1.10     ad 
    307  1.10     ad int
    308  1.63  pooka rw_write_held(krwlock_t *rw)
    309  1.10     ad {
    310  1.60  pooka 	int rv;
    311  1.10     ad 
    312  1.64  pooka 	rumpuser_rw_held(RUMPUSER_RW_WRITER, RUMPRW(rw), &rv);
    313  1.60  pooka 	return rv;
    314  1.10     ad }
    315  1.10     ad 
    316  1.10     ad int
    317  1.10     ad rw_lock_held(krwlock_t *rw)
    318  1.10     ad {
    319  1.10     ad 
    320  1.63  pooka 	return rw_read_held(rw) || rw_write_held(rw);
    321   1.6  pooka }
    322   1.6  pooka 
    323   1.1  pooka /* curriculum vitaes */
    324   1.1  pooka 
    325  1.24  pooka #define RUMPCV(cv) (*(struct rumpuser_cv **)(cv))
    326   1.1  pooka 
    327   1.1  pooka void
    328   1.1  pooka cv_init(kcondvar_t *cv, const char *msg)
    329   1.1  pooka {
    330   1.1  pooka 
    331  1.25  pooka 	CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
    332  1.25  pooka 
    333  1.24  pooka 	rumpuser_cv_init((struct rumpuser_cv **)cv);
    334   1.1  pooka }
    335   1.1  pooka 
    336   1.1  pooka void
    337   1.1  pooka cv_destroy(kcondvar_t *cv)
    338   1.1  pooka {
    339   1.1  pooka 
    340   1.1  pooka 	rumpuser_cv_destroy(RUMPCV(cv));
    341   1.1  pooka }
    342   1.1  pooka 
    343  1.47  pooka static int
    344  1.47  pooka docvwait(kcondvar_t *cv, kmutex_t *mtx, struct timespec *ts)
    345  1.47  pooka {
    346  1.47  pooka 	struct lwp *l = curlwp;
    347  1.47  pooka 	int rv;
    348  1.47  pooka 
    349  1.51  pooka 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    350  1.47  pooka 		/*
    351  1.50  pooka 		 * yield() here, someone might want the cpu
    352  1.50  pooka 		 * to set a condition.  otherwise we'll just
    353  1.50  pooka 		 * loop forever.
    354  1.47  pooka 		 */
    355  1.50  pooka 		yield();
    356  1.47  pooka 		return EINTR;
    357  1.47  pooka 	}
    358  1.47  pooka 
    359  1.47  pooka 	UNLOCKED(mtx, false);
    360  1.47  pooka 
    361  1.47  pooka 	l->l_private = cv;
    362  1.47  pooka 	rv = 0;
    363  1.47  pooka 	if (ts) {
    364  1.47  pooka 		if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
    365  1.47  pooka 		    ts->tv_sec, ts->tv_nsec))
    366  1.47  pooka 			rv = EWOULDBLOCK;
    367  1.47  pooka 	} else {
    368  1.47  pooka 		rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
    369  1.47  pooka 	}
    370  1.47  pooka 
    371  1.52  pooka 	LOCKED(mtx, false);
    372  1.52  pooka 
    373  1.47  pooka 	/*
    374  1.51  pooka 	 * Check for QEXIT.  if so, we need to wait here until we
    375  1.47  pooka 	 * are allowed to exit.
    376  1.47  pooka 	 */
    377  1.51  pooka 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    378  1.47  pooka 		struct proc *p = l->l_proc;
    379  1.47  pooka 
    380  1.47  pooka 		mutex_exit(mtx); /* drop and retake later */
    381  1.47  pooka 
    382  1.47  pooka 		mutex_enter(p->p_lock);
    383  1.51  pooka 		while ((p->p_sflag & PS_RUMP_LWPEXIT) == 0) {
    384  1.47  pooka 			/* avoid recursion */
    385  1.47  pooka 			rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
    386  1.47  pooka 			    RUMPMTX(p->p_lock));
    387  1.47  pooka 		}
    388  1.51  pooka 		KASSERT(p->p_sflag & PS_RUMP_LWPEXIT);
    389  1.47  pooka 		mutex_exit(p->p_lock);
    390  1.47  pooka 
    391  1.47  pooka 		/* ok, we can exit and remove "reference" to l->private */
    392  1.47  pooka 
    393  1.47  pooka 		mutex_enter(mtx);
    394  1.47  pooka 		rv = EINTR;
    395  1.47  pooka 	}
    396  1.47  pooka 	l->l_private = NULL;
    397  1.47  pooka 
    398  1.47  pooka 	return rv;
    399  1.47  pooka }
    400  1.47  pooka 
    401   1.1  pooka void
    402   1.1  pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
    403   1.1  pooka {
    404   1.1  pooka 
    405  1.42  pooka 	if (__predict_false(rump_threads == 0))
    406  1.28  pooka 		panic("cv_wait without threads");
    407  1.47  pooka 	(void) docvwait(cv, mtx, NULL);
    408   1.1  pooka }
    409   1.1  pooka 
    410   1.3  pooka int
    411   1.5  pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
    412   1.5  pooka {
    413   1.5  pooka 
    414  1.42  pooka 	if (__predict_false(rump_threads == 0))
    415  1.42  pooka 		panic("cv_wait without threads");
    416  1.47  pooka 	return docvwait(cv, mtx, NULL);
    417   1.5  pooka }
    418   1.5  pooka 
    419   1.5  pooka int
    420   1.3  pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
    421   1.3  pooka {
    422  1.58  pooka 	struct timespec ts;
    423   1.3  pooka 	extern int hz;
    424  1.45  pooka 	int rv;
    425  1.27  pooka 
    426   1.9  pooka 	if (ticks == 0) {
    427  1.47  pooka 		rv = cv_wait_sig(cv, mtx);
    428   1.9  pooka 	} else {
    429  1.58  pooka 		ts.tv_sec = ticks / hz;
    430  1.58  pooka 		ts.tv_nsec = (ticks % hz) * (1000000000/hz);
    431  1.47  pooka 		rv = docvwait(cv, mtx, &ts);
    432   1.9  pooka 	}
    433   1.5  pooka 
    434  1.45  pooka 	return rv;
    435   1.5  pooka }
    436  1.45  pooka __strong_alias(cv_timedwait_sig,cv_timedwait);
    437   1.5  pooka 
    438   1.1  pooka void
    439   1.1  pooka cv_signal(kcondvar_t *cv)
    440   1.1  pooka {
    441   1.1  pooka 
    442   1.1  pooka 	rumpuser_cv_signal(RUMPCV(cv));
    443   1.1  pooka }
    444   1.2  pooka 
    445   1.4  pooka void
    446   1.4  pooka cv_broadcast(kcondvar_t *cv)
    447   1.4  pooka {
    448   1.4  pooka 
    449   1.4  pooka 	rumpuser_cv_broadcast(RUMPCV(cv));
    450   1.4  pooka }
    451   1.4  pooka 
    452  1.17  pooka bool
    453  1.17  pooka cv_has_waiters(kcondvar_t *cv)
    454  1.17  pooka {
    455  1.60  pooka 	int rv;
    456  1.17  pooka 
    457  1.60  pooka 	rumpuser_cv_has_waiters(RUMPCV(cv), &rv);
    458  1.60  pooka 	return rv != 0;
    459  1.17  pooka }
    460  1.17  pooka 
    461  1.35  pooka /* this is not much of an attempt, but ... */
    462  1.35  pooka bool
    463  1.35  pooka cv_is_valid(kcondvar_t *cv)
    464  1.35  pooka {
    465  1.35  pooka 
    466  1.35  pooka 	return RUMPCV(cv) != NULL;
    467  1.35  pooka }
    468