fn mutexattr_get_kind<'tcx>( ecx: &MiriInterpCx<'tcx>, attr_ptr: &OpTy<'tcx>, ) -> InterpResult<'tcx, i32>