kcondvar_t
cv_timedwait_hires(kcondvar_t *cvp, kmutex_t *mp, hrtime_t tim, hrtime_t res,
kcondvar_t ipl_wait[IPL_LOGSIZE];
kcondvar_t ipslwait;