Lines Matching defs:ve_mutex
65 struct mtx ve_mutex;
118 mtx_lock(&ve_mutex);
149 mtx_unlock(&ve_mutex);
213 mtx_lock(&ve_mutex);
218 mtx_unlock(&ve_mutex);
243 * @note Called with @a ve_mutex held
269 mtx_unlock(&ve_mutex);
284 mtx_lock(&ve_mutex);
293 * @note Called with @a ve_mutex held
327 mtx_unlock(&ve_mutex);
330 mtx_lock(&ve_mutex);
349 mtx_unlock(&ve_mutex);
351 mtx_lock(&ve_mutex);
367 * @note Called with ve_mutex locked.
377 mtx_unlock(&ve_mutex);
381 mtx_lock(&ve_mutex);
409 mtx_lock(&ve_mutex);
412 mtx_unlock(&ve_mutex);
416 mtx_unlock(&ve_mutex);
592 * @note Called with @a ve_mutex held
668 mtx_unlock(&ve_mutex);
670 mtx_lock(&ve_mutex);
690 mtx_unlock(&ve_mutex);
693 mtx_lock(&ve_mutex);
783 mtx_init(&ve_mutex, "veriexec lock", NULL, MTX_DEF);