cv_timedwait_hires
cv_timedwait_hires(kcondvar_t *cv, kmutex_t *mp, hrtime_t tim, hrtime_t res,
cv_timedwait_hires(kcondvar_t *cvp, kmutex_t *mp, hrtime_t tim,