lwp_mutex_unlock
/* 250 */ SYSENT_CI("lwp_mutex_unlock", lwp_mutex_unlock, 1),
int lwp_mutex_unlock(lwp_mutex_t *);