Constant sgx_types::SGX_THREAD_MUTEX_NONRECURSIVE

pub const SGX_THREAD_MUTEX_NONRECURSIVE: uint32_t = 0x01;