kmutex_type_t
_mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl,
mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
mutex_obj_alloc(kmutex_type_t type, int ipl)
mutex_obj_tryalloc(kmutex_type_t type, int ipl)
_mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl,
mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
void _mutex_init(kmutex_t *, kmutex_type_t, int, uintptr_t);
void mutex_init(kmutex_t *, kmutex_type_t, int);
kmutex_t *mutex_obj_alloc(kmutex_type_t, int);
kmutex_t *mutex_obj_tryalloc(kmutex_type_t, int);