jacket
Search the docs
/
API
Tools
Playground
0.31.0
Wasi_Runtime module
← Wasi_Runtime
Procedures
green_control
green_suspend
green_frames_exhausted
main_thread_entry
run_threads
add_thread
remove_thread
next_to_run
block_running
wake
wake_one
wake_all
monotonic_nanoseconds
sleep_nanoseconds
sleep_running
wasi_pthread_create
wasi_pthread_join
wasi_pthread_tryjoin_np
wasi_pthread_mutexattr_init
wasi_pthread_mutexattr_settype
wasi_pthread_mutexattr_destroy
wasi_pthread_mutex_init
wasi_pthread_mutex_destroy
wasi_pthread_mutex_lock
wasi_pthread_mutex_trylock
wasi_pthread_mutex_unlock
wasi_pthread_cond_init
wasi_pthread_cond_destroy
wasi_pthread_cond_signal
wasi_pthread_cond_broadcast
wasi_pthread_cond_wait
wasi_pthread_cond_timedwait
wait_condition
On this page
See also
std
/
Extensions
/
Wasi_Runtime
/
wasi_pthread_mutex_destroy
wasi_pthread_mutex_destroy
procedure · 1 overload
Source
wasi_pthread_mutex_destroy
:: (mutex: *
Green_Mutex
) ->
s32
#c_call
Parameters
mutex
:
*
Green_Mutex
Returns
s32
See also
wasi_pthread_mutexattr_destroy
wasi_pthread_mutex_init
wasi_pthread_mutex_lock
wasi_pthread_mutex_trylock