Home | History | Annotate | Line # | Download | only in rumpkern
locks.c revision 1.78
      1  1.78     ozaki /*	$NetBSD: locks.c,v 1.78 2017/12/27 09:01:53 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.78     ozaki __KERNEL_RCSID(0, "$NetBSD: locks.c,v 1.78 2017/12/27 09:01:53 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.78     ozaki static lockops_t mutex_spin_lockops = {
     54  1.78     ozaki 	.lo_name = "mutex",
     55  1.78     ozaki 	.lo_type = LOCKOPS_SPIN,
     56  1.78     ozaki 	.lo_dump = NULL,
     57  1.78     ozaki };
     58  1.78     ozaki static lockops_t mutex_adaptive_lockops = {
     59  1.76     ozaki 	.lo_name = "mutex",
     60  1.76     ozaki 	.lo_type = LOCKOPS_SLEEP,
     61  1.76     ozaki 	.lo_dump = NULL,
     62  1.45     pooka };
     63  1.45     pooka static lockops_t rw_lockops = {
     64  1.76     ozaki 	.lo_name = "rwlock",
     65  1.76     ozaki 	.lo_type = LOCKOPS_SLEEP,
     66  1.76     ozaki 	.lo_dump = NULL,
     67  1.45     pooka };
     68  1.45     pooka 
     69  1.73     ozaki #define ALLOCK(lock, ops)				\
     70  1.77     ozaki 	lockdebug_alloc(__func__, __LINE__, lock, ops,	\
     71  1.77     ozaki 	    (uintptr_t)__builtin_return_address(0))
     72  1.77     ozaki #define FREELOCK(lock)					\
     73  1.77     ozaki 	lockdebug_free(__func__, __LINE__, lock)
     74  1.73     ozaki #define WANTLOCK(lock, shar)				\
     75  1.77     ozaki 	lockdebug_wantlock(__func__, __LINE__, lock,	\
     76  1.77     ozaki 	    (uintptr_t)__builtin_return_address(0), shar)
     77  1.73     ozaki #define LOCKED(lock, shar)				\
     78  1.77     ozaki 	lockdebug_locked(__func__, __LINE__, lock, NULL,\
     79  1.77     ozaki 	    (uintptr_t)__builtin_return_address(0), shar)
     80  1.77     ozaki #define UNLOCKED(lock, shar)				\
     81  1.77     ozaki 	lockdebug_unlocked(__func__, __LINE__, lock,	\
     82  1.77     ozaki 	    (uintptr_t)__builtin_return_address(0), shar)
     83  1.77     ozaki #define BARRIER(lock, slp)				\
     84  1.77     ozaki 	lockdebug_barrier(__func__, __LINE__, lock, slp)
     85  1.45     pooka #else
     86  1.77     ozaki #define ALLOCK(a, b)	do {} while (0)
     87  1.77     ozaki #define FREELOCK(a)	do {} while (0)
     88  1.77     ozaki #define WANTLOCK(a, b)	do {} while (0)
     89  1.77     ozaki #define LOCKED(a, b)	do {} while (0)
     90  1.77     ozaki #define UNLOCKED(a, b)	do {} while (0)
     91  1.77     ozaki #define BARRIER(a, b)	do {} while (0)
     92  1.45     pooka #endif
     93  1.45     pooka 
     94  1.45     pooka /*
     95  1.22     pooka  * We map locks to pthread routines.  The difference between kernel
     96  1.22     pooka  * and rumpuser routines is that while the kernel uses static
     97  1.22     pooka  * storage, rumpuser allocates the object from the heap.  This
     98  1.22     pooka  * indirection is necessary because we don't know the size of
     99  1.38       snj  * pthread objects here.  It is also beneficial, since we can
    100  1.22     pooka  * be easily compatible with the kernel ABI because all kernel
    101  1.22     pooka  * objects regardless of machine architecture are always at least
    102  1.22     pooka  * the size of a pointer.  The downside, of course, is a performance
    103  1.22     pooka  * penalty.
    104  1.22     pooka  */
    105  1.22     pooka 
    106  1.75       kre #define RUMPMTX(mtx) (*(struct rumpuser_mtx *const*)(mtx))
    107  1.22     pooka 
    108   1.1     pooka void
    109   1.1     pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
    110   1.1     pooka {
    111  1.57     pooka 	int ruflags = RUMPUSER_MTX_KMUTEX;
    112  1.56     pooka 	int isspin;
    113  1.56     pooka 
    114  1.57     pooka 	CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
    115  1.57     pooka 
    116  1.56     pooka 	/*
    117  1.56     pooka 	 * Try to figure out if the caller wanted a spin mutex or
    118  1.56     pooka 	 * not with this easy set of conditionals.  The difference
    119  1.56     pooka 	 * between a spin mutex and an adaptive mutex for a rump
    120  1.56     pooka 	 * kernel is that the hypervisor does not relinquish the
    121  1.56     pooka 	 * rump kernel CPU context for a spin mutex.  The
    122  1.56     pooka 	 * hypervisor itself may block even when "spinning".
    123  1.56     pooka 	 */
    124  1.56     pooka 	if (type == MUTEX_SPIN) {
    125  1.56     pooka 		isspin = 1;
    126  1.56     pooka 	} else if (ipl == IPL_NONE || ipl == IPL_SOFTCLOCK ||
    127  1.56     pooka 	    ipl == IPL_SOFTBIO || ipl == IPL_SOFTNET ||
    128  1.56     pooka 	    ipl == IPL_SOFTSERIAL) {
    129  1.56     pooka 		isspin = 0;
    130  1.56     pooka 	} else {
    131  1.56     pooka 		isspin = 1;
    132  1.56     pooka 	}
    133   1.1     pooka 
    134  1.57     pooka 	if (isspin)
    135  1.57     pooka 		ruflags |= RUMPUSER_MTX_SPIN;
    136  1.57     pooka 	rumpuser_mutex_init((struct rumpuser_mtx **)mtx, ruflags);
    137  1.78     ozaki 	if (isspin)
    138  1.78     ozaki 		ALLOCK(mtx, &mutex_spin_lockops);
    139  1.78     ozaki 	else
    140  1.78     ozaki 		ALLOCK(mtx, &mutex_adaptive_lockops);
    141   1.1     pooka }
    142   1.1     pooka 
    143   1.1     pooka void
    144   1.1     pooka mutex_destroy(kmutex_t *mtx)
    145   1.1     pooka {
    146   1.1     pooka 
    147  1.45     pooka 	FREELOCK(mtx);
    148  1.22     pooka 	rumpuser_mutex_destroy(RUMPMTX(mtx));
    149   1.1     pooka }
    150   1.1     pooka 
    151   1.1     pooka void
    152   1.1     pooka mutex_enter(kmutex_t *mtx)
    153   1.1     pooka {
    154   1.1     pooka 
    155  1.65     njoly 	WANTLOCK(mtx, 0);
    156  1.78     ozaki 	if (!rumpuser_mutex_spin_p(RUMPMTX(mtx)))
    157  1.78     ozaki 		BARRIER(mtx, 1);
    158  1.22     pooka 	rumpuser_mutex_enter(RUMPMTX(mtx));
    159  1.45     pooka 	LOCKED(mtx, false);
    160   1.1     pooka }
    161  1.56     pooka 
    162  1.56     pooka void
    163  1.56     pooka mutex_spin_enter(kmutex_t *mtx)
    164  1.56     pooka {
    165  1.56     pooka 
    166  1.78     ozaki 	KASSERT(rumpuser_mutex_spin_p(RUMPMTX(mtx)));
    167  1.65     njoly 	WANTLOCK(mtx, 0);
    168  1.61     pooka 	rumpuser_mutex_enter_nowrap(RUMPMTX(mtx));
    169  1.56     pooka 	LOCKED(mtx, false);
    170  1.56     pooka }
    171   1.6     pooka 
    172   1.1     pooka int
    173   1.1     pooka mutex_tryenter(kmutex_t *mtx)
    174   1.1     pooka {
    175  1.60     pooka 	int error;
    176   1.1     pooka 
    177  1.60     pooka 	error = rumpuser_mutex_tryenter(RUMPMTX(mtx));
    178  1.60     pooka 	if (error == 0) {
    179  1.65     njoly 		WANTLOCK(mtx, 0);
    180  1.45     pooka 		LOCKED(mtx, false);
    181  1.45     pooka 	}
    182  1.60     pooka 	return error == 0;
    183   1.1     pooka }
    184   1.1     pooka 
    185   1.1     pooka void
    186   1.1     pooka mutex_exit(kmutex_t *mtx)
    187   1.1     pooka {
    188   1.1     pooka 
    189  1.45     pooka 	UNLOCKED(mtx, false);
    190  1.22     pooka 	rumpuser_mutex_exit(RUMPMTX(mtx));
    191   1.1     pooka }
    192  1.45     pooka __strong_alias(mutex_spin_exit,mutex_exit);
    193   1.6     pooka 
    194   1.1     pooka int
    195  1.75       kre mutex_ownable(const kmutex_t *mtx)
    196  1.74  pgoyette {
    197  1.74  pgoyette 
    198  1.74  pgoyette #ifdef LOCKDEBUG
    199  1.74  pgoyette 	WANTLOCK(mtx, -1);
    200  1.74  pgoyette #endif
    201  1.74  pgoyette 	return 1;
    202  1.74  pgoyette }
    203  1.74  pgoyette 
    204  1.74  pgoyette int
    205  1.75       kre mutex_owned(const kmutex_t *mtx)
    206   1.1     pooka {
    207   1.1     pooka 
    208  1.44     pooka 	return mutex_owner(mtx) == curlwp;
    209  1.44     pooka }
    210  1.44     pooka 
    211  1.75       kre lwp_t *
    212  1.75       kre mutex_owner(const kmutex_t *mtx)
    213  1.44     pooka {
    214  1.60     pooka 	struct lwp *l;
    215  1.44     pooka 
    216  1.60     pooka 	rumpuser_mutex_owner(RUMPMTX(mtx), &l);
    217  1.60     pooka 	return l;
    218   1.1     pooka }
    219   1.1     pooka 
    220  1.22     pooka #define RUMPRW(rw) (*(struct rumpuser_rw **)(rw))
    221  1.22     pooka 
    222   1.1     pooka /* reader/writer locks */
    223   1.1     pooka 
    224  1.63     pooka static enum rumprwlock
    225  1.63     pooka krw2rumprw(const krw_t op)
    226  1.63     pooka {
    227  1.63     pooka 
    228  1.63     pooka 	switch (op) {
    229  1.63     pooka 	case RW_READER:
    230  1.63     pooka 		return RUMPUSER_RW_READER;
    231  1.63     pooka 	case RW_WRITER:
    232  1.63     pooka 		return RUMPUSER_RW_WRITER;
    233  1.63     pooka 	default:
    234  1.63     pooka 		panic("unknown rwlock type");
    235  1.63     pooka 	}
    236  1.63     pooka }
    237  1.63     pooka 
    238   1.1     pooka void
    239   1.1     pooka rw_init(krwlock_t *rw)
    240   1.1     pooka {
    241   1.1     pooka 
    242  1.22     pooka 	CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
    243  1.22     pooka 
    244  1.22     pooka 	rumpuser_rw_init((struct rumpuser_rw **)rw);
    245  1.45     pooka 	ALLOCK(rw, &rw_lockops);
    246   1.1     pooka }
    247   1.1     pooka 
    248   1.1     pooka void
    249   1.1     pooka rw_destroy(krwlock_t *rw)
    250   1.1     pooka {
    251   1.1     pooka 
    252  1.45     pooka 	FREELOCK(rw);
    253  1.22     pooka 	rumpuser_rw_destroy(RUMPRW(rw));
    254   1.1     pooka }
    255   1.1     pooka 
    256   1.1     pooka void
    257   1.1     pooka rw_enter(krwlock_t *rw, const krw_t op)
    258   1.1     pooka {
    259   1.1     pooka 
    260  1.65     njoly 	WANTLOCK(rw, op == RW_READER);
    261  1.71     ozaki 	BARRIER(rw, 1);
    262  1.64     pooka 	rumpuser_rw_enter(krw2rumprw(op), RUMPRW(rw));
    263  1.45     pooka 	LOCKED(rw, op == RW_READER);
    264   1.1     pooka }
    265   1.1     pooka 
    266   1.1     pooka int
    267   1.1     pooka rw_tryenter(krwlock_t *rw, const krw_t op)
    268   1.1     pooka {
    269  1.60     pooka 	int error;
    270   1.1     pooka 
    271  1.64     pooka 	error = rumpuser_rw_tryenter(krw2rumprw(op), RUMPRW(rw));
    272  1.60     pooka 	if (error == 0) {
    273  1.65     njoly 		WANTLOCK(rw, op == RW_READER);
    274  1.45     pooka 		LOCKED(rw, op == RW_READER);
    275  1.45     pooka 	}
    276  1.60     pooka 	return error == 0;
    277   1.1     pooka }
    278   1.1     pooka 
    279   1.1     pooka void
    280   1.1     pooka rw_exit(krwlock_t *rw)
    281   1.1     pooka {
    282   1.1     pooka 
    283  1.45     pooka #ifdef LOCKDEBUG
    284  1.45     pooka 	bool shared = !rw_write_held(rw);
    285  1.45     pooka 
    286  1.45     pooka 	if (shared)
    287  1.45     pooka 		KASSERT(rw_read_held(rw));
    288  1.45     pooka 	UNLOCKED(rw, shared);
    289  1.45     pooka #endif
    290  1.22     pooka 	rumpuser_rw_exit(RUMPRW(rw));
    291   1.1     pooka }
    292   1.1     pooka 
    293   1.1     pooka int
    294   1.1     pooka rw_tryupgrade(krwlock_t *rw)
    295   1.1     pooka {
    296  1.63     pooka 	int rv;
    297   1.1     pooka 
    298  1.63     pooka 	rv = rumpuser_rw_tryupgrade(RUMPRW(rw));
    299  1.63     pooka 	if (rv == 0) {
    300  1.63     pooka 		UNLOCKED(rw, 1);
    301  1.65     njoly 		WANTLOCK(rw, 0);
    302  1.63     pooka 		LOCKED(rw, 0);
    303  1.63     pooka 	}
    304  1.63     pooka 	return rv == 0;
    305   1.1     pooka }
    306   1.1     pooka 
    307  1.48      haad void
    308  1.48      haad rw_downgrade(krwlock_t *rw)
    309  1.48      haad {
    310  1.48      haad 
    311  1.63     pooka 	rumpuser_rw_downgrade(RUMPRW(rw));
    312  1.63     pooka 	UNLOCKED(rw, 0);
    313  1.65     njoly 	WANTLOCK(rw, 1);
    314  1.63     pooka 	LOCKED(rw, 1);
    315  1.48      haad }
    316  1.48      haad 
    317   1.6     pooka int
    318  1.63     pooka rw_read_held(krwlock_t *rw)
    319   1.6     pooka {
    320  1.60     pooka 	int rv;
    321   1.6     pooka 
    322  1.64     pooka 	rumpuser_rw_held(RUMPUSER_RW_READER, RUMPRW(rw), &rv);
    323  1.60     pooka 	return rv;
    324  1.10        ad }
    325  1.10        ad 
    326  1.10        ad int
    327  1.63     pooka rw_write_held(krwlock_t *rw)
    328  1.10        ad {
    329  1.60     pooka 	int rv;
    330  1.10        ad 
    331  1.64     pooka 	rumpuser_rw_held(RUMPUSER_RW_WRITER, RUMPRW(rw), &rv);
    332  1.60     pooka 	return rv;
    333  1.10        ad }
    334  1.10        ad 
    335  1.10        ad int
    336  1.10        ad rw_lock_held(krwlock_t *rw)
    337  1.10        ad {
    338  1.10        ad 
    339  1.63     pooka 	return rw_read_held(rw) || rw_write_held(rw);
    340   1.6     pooka }
    341   1.6     pooka 
    342   1.1     pooka /* curriculum vitaes */
    343   1.1     pooka 
    344  1.24     pooka #define RUMPCV(cv) (*(struct rumpuser_cv **)(cv))
    345   1.1     pooka 
    346   1.1     pooka void
    347   1.1     pooka cv_init(kcondvar_t *cv, const char *msg)
    348   1.1     pooka {
    349   1.1     pooka 
    350  1.25     pooka 	CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
    351  1.25     pooka 
    352  1.24     pooka 	rumpuser_cv_init((struct rumpuser_cv **)cv);
    353   1.1     pooka }
    354   1.1     pooka 
    355   1.1     pooka void
    356   1.1     pooka cv_destroy(kcondvar_t *cv)
    357   1.1     pooka {
    358   1.1     pooka 
    359   1.1     pooka 	rumpuser_cv_destroy(RUMPCV(cv));
    360   1.1     pooka }
    361   1.1     pooka 
    362  1.47     pooka static int
    363  1.47     pooka docvwait(kcondvar_t *cv, kmutex_t *mtx, struct timespec *ts)
    364  1.47     pooka {
    365  1.47     pooka 	struct lwp *l = curlwp;
    366  1.47     pooka 	int rv;
    367  1.47     pooka 
    368  1.51     pooka 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    369  1.47     pooka 		/*
    370  1.50     pooka 		 * yield() here, someone might want the cpu
    371  1.50     pooka 		 * to set a condition.  otherwise we'll just
    372  1.50     pooka 		 * loop forever.
    373  1.47     pooka 		 */
    374  1.50     pooka 		yield();
    375  1.47     pooka 		return EINTR;
    376  1.47     pooka 	}
    377  1.47     pooka 
    378  1.47     pooka 	UNLOCKED(mtx, false);
    379  1.47     pooka 
    380  1.47     pooka 	l->l_private = cv;
    381  1.47     pooka 	rv = 0;
    382  1.47     pooka 	if (ts) {
    383  1.47     pooka 		if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
    384  1.47     pooka 		    ts->tv_sec, ts->tv_nsec))
    385  1.47     pooka 			rv = EWOULDBLOCK;
    386  1.47     pooka 	} else {
    387  1.47     pooka 		rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
    388  1.47     pooka 	}
    389  1.47     pooka 
    390  1.52     pooka 	LOCKED(mtx, false);
    391  1.52     pooka 
    392  1.47     pooka 	/*
    393  1.51     pooka 	 * Check for QEXIT.  if so, we need to wait here until we
    394  1.47     pooka 	 * are allowed to exit.
    395  1.47     pooka 	 */
    396  1.51     pooka 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    397  1.47     pooka 		struct proc *p = l->l_proc;
    398  1.47     pooka 
    399  1.47     pooka 		mutex_exit(mtx); /* drop and retake later */
    400  1.47     pooka 
    401  1.47     pooka 		mutex_enter(p->p_lock);
    402  1.51     pooka 		while ((p->p_sflag & PS_RUMP_LWPEXIT) == 0) {
    403  1.47     pooka 			/* avoid recursion */
    404  1.47     pooka 			rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
    405  1.47     pooka 			    RUMPMTX(p->p_lock));
    406  1.47     pooka 		}
    407  1.51     pooka 		KASSERT(p->p_sflag & PS_RUMP_LWPEXIT);
    408  1.47     pooka 		mutex_exit(p->p_lock);
    409  1.47     pooka 
    410  1.47     pooka 		/* ok, we can exit and remove "reference" to l->private */
    411  1.47     pooka 
    412  1.47     pooka 		mutex_enter(mtx);
    413  1.47     pooka 		rv = EINTR;
    414  1.47     pooka 	}
    415  1.47     pooka 	l->l_private = NULL;
    416  1.47     pooka 
    417  1.47     pooka 	return rv;
    418  1.47     pooka }
    419  1.47     pooka 
    420   1.1     pooka void
    421   1.1     pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
    422   1.1     pooka {
    423   1.1     pooka 
    424  1.42     pooka 	if (__predict_false(rump_threads == 0))
    425  1.28     pooka 		panic("cv_wait without threads");
    426  1.47     pooka 	(void) docvwait(cv, mtx, NULL);
    427   1.1     pooka }
    428   1.1     pooka 
    429   1.3     pooka int
    430   1.5     pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
    431   1.5     pooka {
    432   1.5     pooka 
    433  1.42     pooka 	if (__predict_false(rump_threads == 0))
    434  1.42     pooka 		panic("cv_wait without threads");
    435  1.47     pooka 	return docvwait(cv, mtx, NULL);
    436   1.5     pooka }
    437   1.5     pooka 
    438   1.5     pooka int
    439   1.3     pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
    440   1.3     pooka {
    441  1.58     pooka 	struct timespec ts;
    442   1.3     pooka 	extern int hz;
    443  1.45     pooka 	int rv;
    444  1.27     pooka 
    445   1.9     pooka 	if (ticks == 0) {
    446  1.47     pooka 		rv = cv_wait_sig(cv, mtx);
    447   1.9     pooka 	} else {
    448  1.58     pooka 		ts.tv_sec = ticks / hz;
    449  1.58     pooka 		ts.tv_nsec = (ticks % hz) * (1000000000/hz);
    450  1.47     pooka 		rv = docvwait(cv, mtx, &ts);
    451   1.9     pooka 	}
    452   1.5     pooka 
    453  1.45     pooka 	return rv;
    454   1.5     pooka }
    455  1.45     pooka __strong_alias(cv_timedwait_sig,cv_timedwait);
    456   1.5     pooka 
    457   1.1     pooka void
    458   1.1     pooka cv_signal(kcondvar_t *cv)
    459   1.1     pooka {
    460   1.1     pooka 
    461   1.1     pooka 	rumpuser_cv_signal(RUMPCV(cv));
    462   1.1     pooka }
    463   1.2     pooka 
    464   1.4     pooka void
    465   1.4     pooka cv_broadcast(kcondvar_t *cv)
    466   1.4     pooka {
    467   1.4     pooka 
    468   1.4     pooka 	rumpuser_cv_broadcast(RUMPCV(cv));
    469   1.4     pooka }
    470   1.4     pooka 
    471  1.17     pooka bool
    472  1.17     pooka cv_has_waiters(kcondvar_t *cv)
    473  1.17     pooka {
    474  1.60     pooka 	int rv;
    475  1.17     pooka 
    476  1.60     pooka 	rumpuser_cv_has_waiters(RUMPCV(cv), &rv);
    477  1.60     pooka 	return rv != 0;
    478  1.17     pooka }
    479  1.17     pooka 
    480  1.35     pooka /* this is not much of an attempt, but ... */
    481  1.35     pooka bool
    482  1.35     pooka cv_is_valid(kcondvar_t *cv)
    483  1.35     pooka {
    484  1.35     pooka 
    485  1.35     pooka 	return RUMPCV(cv) != NULL;
    486  1.35     pooka }
    487