_mutex_init
_mutex_init(mtx, type, ipl, (uintptr_t)__builtin_return_address(0));
_mutex_init(&mo->mo_lock, type, ipl,
_mutex_init(&mo->mo_lock, type, ipl,
_mutex_init(mtx, type, ipl, (uintptr_t)__builtin_return_address(0));
void _mutex_init(kmutex_t *, kmutex_type_t, int, uintptr_t);