k5_os_nothread_mutex_assert_unlocked
(k5_os_nothread_mutex_assert_unlocked(M), \
# define k5_os_mutex_assert_unlocked k5_os_nothread_mutex_assert_unlocked
: k5_os_nothread_mutex_assert_unlocked(&(M)->n))