From mboxrd@z Thu Jan  1 00:00:00 1970
From: Stefano Stabellini <sstabellini@kernel.org>
Subject: Re: [PATCH 2/3] xen/arm: vgic-v3: Don't create empty
 re-distributor regions
Date: Tue, 25 Sep 2018 13:38:17 -0700 (PDT)
Message-ID: <alpine.DEB.2.10.1809251255350.15006@sstabellini-ThinkPad-X260>
References: <20180904192153.17210-1-julien.grall@arm.com>
 <20180904192153.17210-3-julien.grall@arm.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xenproject.org>
Received: from all-amaz-eas1.inumbo.com ([34.197.232.57])
 by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from
 <srs0=498c=mh=kernel.org=sstabellini@srs-us1.protection.inumbo.net>)
 id 1g4u67-0003MH-T0
 for xen-devel@lists.xenproject.org; Tue, 25 Sep 2018 20:38:19 +0000
In-Reply-To: <20180904192153.17210-3-julien.grall@arm.com>
List-Unsubscribe: <https://lists.xenproject.org/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xenproject.org>
List-Help: <mailto:xen-devel-request@lists.xenproject.org?subject=help>
List-Subscribe: <https://lists.xenproject.org/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xenproject.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xenproject.org>
To: Julien Grall <julien.grall@arm.com>
Cc: xen-devel@lists.xenproject.org, sstabellini@kernel.org, shameerali.kolothum.thodi@huawei.com, andre.przywara@arm.com
List-Id: xen-devel@lists.xenproject.org

T24gVHVlLCA0IFNlcCAyMDE4LCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4gQXQgdGhlIG1vbWVudCwg
WGVuIGlzIGFzc3VtaW5nIHRoZSBoYXJkd2FyZSBkb21haW4gd2lsbCBoYXZlIHRoZSBzYW1lCj4g
bnVtYmVyIG9mIHJlLWRpc3RyaWJ1dG9yIHJlZ2lvbnMgYXMgdGhlIGhvc3QuIEhvd2V2ZXIsIGFz
IHRoZQo+IG51bWJlciBvZiBDUFVzIG9yIHRoZSBzdHJpZGUgKGUuZyBvbiBHSUN2NCkgbWF5IGJl
IGRpZmZlcmVudCB3ZSBlbmQgdXAKPiBleHBvc2luZyByZWdpb25zIHdoaWNoIGRvZXMgbm90IGNv
bnRhaW4gYW55IHJlLWRpc3RyaWJ1dG9ycy4KPiAKPiBXaGVuIGJvb3RpbmcsIExpbnV4IHdpbGwg
Z28gdGhyb3VnaCBhbGwgdGhlIHJlLWRpc3RyaWJ1dG9yIHJlZ2lvbiB0bwo+IGNoZWNrIHdoZXRo
ZXIgYSBwcm9wZXJ0eSAoZS5nIHZQTElzKSBpcyBhdmFpbGFibGUgYWNjcm9zcyBhbGwgdGhlCj4g
cmUtZGlzdHJpYnV0b3JzLiBUaGlzIHdpbGwgcmVzdWx0IHRvIGEgZGF0YSBhYm9ydCBvbiBlbXB0
eSByZWdpb25zCj4gYmVjYXVzZSB0aGVyZSBhcmUgbm8gdW5kZXJseWluZyByZS1kaXN0cmlidXRv
ci4KPiAKPiBTbyB3ZSBuZWVkIHRvIGxpbWl0IHRoZSBudW1iZXIgb2YgcmVnaW9ucyBleHBvc2Vk
IHRvIHRoZSBoYXJkd2FyZQo+IGRvbWFpbi4gVGhlIGNvZGUgcmV3b3JrZWQgdG8gb25seSBleHBv
c2UgdGhlIG1pbmltdW4gbnVtYmVyIG9mIHJlZ2lvbnMKPiByZXF1aXJlZCBieSB0aGUgaGFyZHdh
cmUgZG9tYWluLiBJdCBpcyBhc3N1bWVkIHRoZSByZWdpb25zIHdpbGwgYmUKPiBwb3B1bGF0ZWQg
c3RhcnRpbmcgZnJvbSB0aGUgZmlyc3Qgb25lLgoKSSBoYXZlIGEgcXVlc3Rpb246IGdpdmVuIHRo
YXQgaXQgaXMgcG9zc2libGUgZm9yIGEgcmRpc3RfcmVnaW9uIHRvIGNvdmVyCm1vcmUgdGhhbiAx
IGNwdSwgY291bGQgd2UgZ2V0IGludG8gdHJvdWJsZXMgaWYgdGhlIGxhc3QgcmRpc3RfcmVnaW9u
IG9mCnRoZSBoYXJkd2FyZV9kb21haW4gY292ZXJzIDIgY3B1cywgYnV0IGFjdHVhbGx5IGRvbTAg
b25seSBoYXMgMSB2Y3B1PwpnZXRfdmNwdV9mcm9tX3JkaXN0IHdvdWxkIHJldHVybiBOVUxMIGFu
ZCB2Z2ljX3YzX3JkaXN0cl9tbWlvX3JlYWQvd3JpdGUKd291bGQgcmV0dXJuIDAuIFRoaXMgY2Fz
ZSBzZWVtcyB0byBiZSBoYW5kbGVkIGNvcnJlY3RseSBidXQgSSB3YW50ZWQgdG8KZG91YmxlIGNo
ZWNrLgoKCkkgdGhpbmsgd2UgYWxzbyBuZWVkIHRvIGZpeCB2Z2ljX3YzX3JkaXN0X2NvdW50PyBU
b2RheSBpdCBqdXN0IHJldHVybnMKdmdpY192M19ody5ucl9yZGlzdF9yZWdpb25zIGZvciBkb20w
LiBJdCB3b3VsZCBiZSBiYWQgaWYgd2UgbGVmdCBpdAp1bmZpeGVkPyBJZiB3ZSBkbyB0aGF0LCB3
ZSBtaWdodCBiZSBhYmxlIHRvIGdldCByaWQgb2YgdGhlIG1vZGlmaWNhdGlvbnMKdG8gdmdpY192
M19yZWFsX2RvbWFpbl9pbml0LgoKCj4gUmVwb3J0ZWQtYnk6IFNoYW1lZXJhbGkgS29sb3RodW0g
VGhvZGkgPHNoYW1lZXJhbGkua29sb3RodW0udGhvZGlAaHVhd2VpLmNvbT4KPiBTaWduZWQtb2Zm
LWJ5OiBKdWxpZW4gR3JhbGwgPGp1bGllbi5ncmFsbEBhcm0uY29tPgo+IC0tLQo+ICB4ZW4vYXJj
aC9hcm0vZ2ljLXYzLmMgIHwgMTAgKysrKysrKystLQo+ICB4ZW4vYXJjaC9hcm0vdmdpYy12My5j
IHwgMTEgKysrKysrKysrKysKPiAgMiBmaWxlcyBjaGFuZ2VkLCAxOSBpbnNlcnRpb25zKCspLCAy
IGRlbGV0aW9ucygtKQo+IAo+IGRpZmYgLS1naXQgYS94ZW4vYXJjaC9hcm0vZ2ljLXYzLmMgYi94
ZW4vYXJjaC9hcm0vZ2ljLXYzLmMKPiBpbmRleCBiMmVkMGY4YjU1Li40YTk4NGNmYjEyIDEwMDY0
NAo+IC0tLSBhL3hlbi9hcmNoL2FybS9naWMtdjMuYwo+ICsrKyBiL3hlbi9hcmNoL2FybS9naWMt
djMuYwo+IEBAIC0xMjc0LDggKzEyNzQsMTAgQEAgc3RhdGljIGludCBnaWN2M19tYWtlX2h3ZG9t
X2R0X25vZGUoY29uc3Qgc3RydWN0IGRvbWFpbiAqZCwKPiAgICAgICAqIEdJQyBoYXMgdHdvIG1l
bW9yeSByZWdpb25zOiBEaXN0cmlidXRvciArIHJkaXN0IHJlZ2lvbnMKPiAgICAgICAqIENQVSBp
bnRlcmZhY2UgYW5kIHZpcnR1YWwgY3B1IGludGVyZmFjZXMgYWNjZXNzZXNlZCBhcyBTeXN0ZW0g
cmVnaXN0ZXJzCj4gICAgICAgKiBTbyBjZWxscyBhcmUgY3JlYXRlZCBvbmx5IGZvciBEaXN0cmli
dXRvciBhbmQgcmRpc3QgcmVnaW9ucwo+ICsgICAgICogVGhlIGhhcmR3YXJlIGRvbWFpbiBtYXkg
bm90IHVzZWQgYWxsIHRoZSByZWdpb25zLiBTbyBvbmx5IGNvcHkKPiArICAgICAqIHdoYXQgaXMg
bmVjZXNzYXJ5Lgo+ICAgICAgICovCj4gLSAgICBuZXdfbGVuID0gbmV3X2xlbiAqIChnaWN2My5y
ZGlzdF9jb3VudCArIDEpOwo+ICsgICAgbmV3X2xlbiA9IG5ld19sZW4gKiAoZC0+YXJjaC52Z2lj
Lm5yX3JlZ2lvbnMgKyAxKTsKCkRvIHdlIGFsc28gbmVlZCB0byBmaXggIiNyZWRpc3RyaWJ1dG9y
LXJlZ2lvbnMiIGp1c3QgYWJvdmU/CgoKPiAgICAgIGh3X3JlZyA9IGR0X2dldF9wcm9wZXJ0eShn
aWMsICJyZWciLCAmbGVuKTsKPiAgICAgIGlmICggIWh3X3JlZyApCj4gQEAgLTE1MDMsNyArMTUw
NSwxMSBAQCBzdGF0aWMgaW50IGdpY3YzX21ha2VfaHdkb21fbWFkdChjb25zdCBzdHJ1Y3QgZG9t
YWluICpkLCB1MzIgb2Zmc2V0KQo+ICAKPiAgICAgIC8qIEFkZCBHZW5lcmljIFJlZGlzdHJpYnV0
b3IgKi8KPiAgICAgIHNpemUgPSBzaXplb2Yoc3RydWN0IGFjcGlfbWFkdF9nZW5lcmljX3JlZGlz
dHJpYnV0b3IpOwo+IC0gICAgZm9yICggaSA9IDA7IGkgPCBnaWN2My5yZGlzdF9jb3VudDsgaSsr
ICkKPiArICAgIC8qCj4gKyAgICAgKiBUaGUgaGFyZHdhcmUgZG9tYWluIG1heSBub3QgdXNlZCBh
bGwgdGhlIHJlZ2lvbnMuIFNvIG9ubHkgY29weQogICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgIF4gdXNlCgoKPiArICAgICAqIHdoYXQgaXMgbmVjZXNzYXJ5Lgo+ICsgICAgICov
Cj4gKyAgICBmb3IgKCBpID0gMDsgaSA8IGQtPmFyY2gudmdpYy5ucl9yZWdpb25zOyBpKysgKQo+
ICAgICAgewo+ICAgICAgICAgIGdpY3IgPSAoc3RydWN0IGFjcGlfbWFkdF9nZW5lcmljX3JlZGlz
dHJpYnV0b3IgKikoYmFzZV9wdHIgKyB0YWJsZV9sZW4pOwo+ICAgICAgICAgIGdpY3ItPmhlYWRl
ci50eXBlID0gQUNQSV9NQURUX1RZUEVfR0VORVJJQ19SRURJU1RSSUJVVE9SOwo+Cj4gZGlmZiAt
LWdpdCBhL3hlbi9hcmNoL2FybS92Z2ljLXYzLmMgYi94ZW4vYXJjaC9hcm0vdmdpYy12My5jCj4g
aW5kZXggZGYxYmFiM2EzNS4uOWY3Mjk4NjJkYSAxMDA2NDQKPiAtLS0gYS94ZW4vYXJjaC9hcm0v
dmdpYy12My5jCj4gKysrIGIveGVuL2FyY2gvYXJtL3ZnaWMtdjMuYwo+IEBAIC0xNjk1LDggKzE2
OTUsMTkgQEAgc3RhdGljIGludCB2Z2ljX3YzX3JlYWxfZG9tYWluX2luaXQoc3RydWN0IGRvbWFp
biAqZCkKPiAgICAgICAgICAgICAgZC0+YXJjaC52Z2ljLnJkaXN0X3JlZ2lvbnNbaV0uZmlyc3Rf
Y3B1ID0gZmlyc3RfY3B1Owo+ICAKPiAgICAgICAgICAgICAgZmlyc3RfY3B1ICs9IHNpemUgLyBH
SUNWM19HSUNSX1NJWkU7Cj4gKwo+ICsgICAgICAgICAgICBpZiAoIGZpcnN0X2NwdSA+PSBkLT5t
YXhfdmNwdXMgKQo+ICsgICAgICAgICAgICAgICAgYnJlYWs7CgpUaGlzIGlzIGp1c3QgYSBtYXR0
ZXIgb2YgY29kZSBzdHlsZSBhbmQgcHJlZmVyZW5jZXMsIGJ1dCBJIHdvdWxkIHByZWZlcgppZiB0
aGUgdGVybWluYXRpb24gY29uZGl0aW9uIHdhcyBhdCB0aGUgdG9wIGFzIHBhcnQgb2YgdGhlIGZv
cgpzdGF0ZW1lbnQuIE9mIGNvdXJzZSwgaXQgd29ya3MgcmVnYXJkbGVzcywgc28gdGhlIHBhdGNo
IHdvdWxkIGJlCk9LIGVpdGhlciB3YXkuCgoKCj4gICAgICAgICAgfQo+ICAKPiArICAgICAgICAv
Kgo+ICsgICAgICAgICAqIFRoZSBoYXJkd2FyZSBkb21haW4gbWF5IG5vdCB1c2VkIGFsbCB0aGUg
cmUtZGlzdHJpYnV0b3JzCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
IF4gdXNlCgoKPiArICAgICAgICAgKiByZWdpb25zIChlLmcgd2hlbiB0aGUgbnVtYmVyIG9mIHZD
UFVzIGRvZXMgbm90IG1hdGNoIHRoZQo+ICsgICAgICAgICAqIG51bWJlciBvZiBwQ1BVcykuIFVw
ZGF0ZSB0aGUgbnVtYmVyIG9mIHJlZ2lvbnMgdG8gYXZvaWQKPiArICAgICAgICAgKiBleHBvc2lu
ZyB1bnVzZWQgcmVnaW9uIGFzIHRoZXkgd2lsbCBub3QgZ2V0IGVtdWxhdGVkLgogICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgXiByZWdpb25zCgoKPiArICAgICAgICAgKi8KPiArICAgICAg
ICBkLT5hcmNoLnZnaWMubnJfcmVnaW9ucyA9IGkgKyAxOwo+ICAgICAgICAgIGQtPmFyY2gudmdp
Yy5pbnRpZF9iaXRzID0gdmdpY192M19ody5pbnRpZF9iaXRzOwo+ICAgICAgfQo+ICAgICAgZWxz
ZQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRl
dmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9s
aXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL3hlbi1kZXZlbA==