DIF_SUBR_MUTEX_OWNED
{ "mutex_owned", DT_IDENT_FUNC, 0, DIF_SUBR_MUTEX_OWNED,
case DIF_SUBR_MUTEX_OWNED: