mutex_destroy() は、正常終了時に 0 を返します。次の条件が検出された場合、mutex_destroy() は失敗し、対応する値を返します。
EFAULT
mp が指すアドレスが正しくありません。