Function mutexattr_destroy 

fn mutexattr_destroy<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    mutexattr_ptr: &OpTy<'tcx>,
) -> InterpResult<'tcx>