K5_OS_NOTHREAD_MUTEX_PARTIAL_INITIALIZER
K5_OS_NOTHREAD_MUTEX_PARTIAL_INITIALIZER
K5_OS_NOTHREAD_MUTEX_PARTIAL_INITIALIZER }
K5_OS_NOTHREAD_MUTEX_PARTIAL_INITIALIZER }
{ PTHREAD_MUTEX_INITIALIZER, K5_OS_NOTHREAD_MUTEX_PARTIAL_INITIALIZER }