231 MUTEX_ACQUIRE(kmutex_t *mtx, uintptr_t curthread)  in MUTEX_ACQUIRE()
245 MUTEX_SET_WAITERS(kmutex_t *mtx, uintptr_t owner)  in MUTEX_SET_WAITERS()
255 MUTEX_RELEASE(kmutex_t *mtx)  in MUTEX_RELEASE()
284 static void	mutex_abort(const char *, size_t, volatile const kmutex_t *,
319 	const volatile kmutex_t *mtx = cookie;  in mutex_dump()
335 mutex_abort(const char *func, size_t line, volatile const kmutex_t *mtx,  in mutex_abort()
353 _mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl,  in _mutex_init()
377 mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)  in mutex_init()
389 mutex_destroy(kmutex_t *mtx)  in mutex_destroy()
450 mutex_vector_enter(kmutex_t *mtx)  in mutex_vector_enter()
716 mutex_vector_exit(kmutex_t *mtx)  in mutex_vector_exit()
800 mutex_wakeup(kmutex_t *mtx)  in mutex_wakeup()
821 mutex_owned(const kmutex_t *mtx)  in mutex_owned()
844 	volatile const kmutex_t *mtx = wchan;  in mutex_owner()
858 mutex_ownable(const kmutex_t *mtx)  in mutex_ownable()
873 mutex_tryenter(kmutex_t *mtx)  in mutex_tryenter()
917 mutex_spin_retry(kmutex_t *mtx)  in mutex_spin_retry()