hello, i have written a piece of code in a freebsd driver meant for arm. The first cv_wait(&sc->sc_cv, &sc->sc_mtx); keeps waiting indefinitely. If I use cv_timedwait() instead, it returns EWOULDBLOCK does someone know why this is happening? thanks -kamal