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