From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1753230AbdJMR71 (ORCPT <rfc822;w@1wt.eu>);
        Fri, 13 Oct 2017 13:59:27 -0400
Received: from mail-wm0-f42.google.com ([74.125.82.42]:51878 "EHLO
        mail-wm0-f42.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1753157AbdJMR7V (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Fri, 13 Oct 2017 13:59:21 -0400
X-Google-Smtp-Source: AOwi7QDPJsA8/NZC6nw/n9rnsBWgLCOMKKQkL3250+CAVROe/cOkkp50cnEbgCVnUBcLrMk/ej0ldg==
Date: Fri, 13 Oct 2017 19:59:27 +0200
From: Christoffer Dall <cdall@linaro.org>
To: Auger Eric <eric.auger@redhat.com>
Cc: eric.auger.pro@gmail.com, linux-kernel@vger.kernel.org,
        kvm@vger.kernel.org, marc.zyngier@arm.com, peter.maydell@linaro.org,
        andre.przywara@arm.com, wanghaibin.wang@huawei.com,
        wu.wubin@huawei.com
Subject: Re: [PATCH v2 08/10] KVM: arm/arm64: vgic-its: free caches when
 GITS_BASER Valid bit is cleared
Message-ID: <20171013175927.GE17578@cbox>
References: <1506518920-18571-1-git-send-email-eric.auger@redhat.com>
 <1506518920-18571-9-git-send-email-eric.auger@redhat.com>
 <20171013151941.GK8927@cbox>
 <fa8fe0fc-89d3-ad2c-2564-258415c829a6@redhat.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <fa8fe0fc-89d3-ad2c-2564-258415c829a6@redhat.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Fri, Oct 13, 2017 at 05:34:44PM +0200, Auger Eric wrote:
> Hi Christoffer,
> 
> On 13/10/2017 17:19, Christoffer Dall wrote:
> > On Wed, Sep 27, 2017 at 03:28:38PM +0200, Eric Auger wrote:
> >> When the GITS_BASER<n>.Valid gets cleared, the data structures in
> >> guest RAM are not provisionned anymore. The device, collection
> > 
> >                     provisioned
> > 
> > 		    (but did you really mean valid?)
> well the GITS_BASER<n>.Valid bit is reset, meaning the tables may be
> freed / un-provisioned by the driver. I can use valid though.

To me, the provision is the act of establishing something, but once it's
provisioned it just is, and then it isn't anymore.  So your sentence
"...not provisioned anymore" tells me that there was a process where
someone was constantly establishing new data sructures in guest ram, and
the process stops.  But what I think you want to say is that there were
data structures in place, but when the bit gets cleared, those data
structures are no longer used, i.e. they are no longer valid.

This is really just a wording thing, and I'm not a native English
speaker, but looking up provisioning in the dictionary seems to support
my claim here.

Thanks,
-Christoffer