From mboxrd@z Thu Jan  1 00:00:00 1970
From: Stefano Stabellini <sstabellini@kernel.org>
Subject: [PATCH v5 3/3] xen/arm: vgic_migrate_irq: do not race
	against GIC_IRQ_GUEST_MIGRATING
Date: Wed,  1 Mar 2017 14:15:45 -0800
Message-ID: <1488406545-26164-3-git-send-email-sstabellini@kernel.org>
References: <alpine.DEB.2.10.1703011355260.13077@sstabellini-ThinkPad-X260>
 <1488406545-26164-1-git-send-email-sstabellini@kernel.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta3.messagelabs.com ([195.245.230.39])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <sstabellini@kernel.org>) id 1cjCXK-00036J-10
 for xen-devel@lists.xenproject.org; Wed, 01 Mar 2017 22:15:54 +0000
In-Reply-To: <1488406545-26164-1-git-send-email-sstabellini@kernel.org>
List-Unsubscribe: <https://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <https://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xen.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xen.org>
To: julien.grall@arm.com
Cc: xen-devel@lists.xenproject.org, sstabellini@kernel.org
List-Id: xen-devel@lists.xenproject.org

QSBwb3RlbnRpYWwgcmFjZSBjb25kaXRpb24gb2NjdXJzIHdoZW4gdmdpY19taWdyYXRlX2lycSBp
cyBjYWxsZWQgYQpzZWNvbmQgdGltZSwgd2hpbGUgR0lDX0lSUV9HVUVTVF9NSUdSQVRJTkcgaXMg
YWxyZWFkeSBzZXQuIEluIHRoYXQgY2FzZSwKdmdpY19taWdyYXRlX2lycSB0YWtlcyBhIGRpZmZl
cmVudCB2Z2ljIGxvY2sgZnJvbSBnaWNfdXBkYXRlX29uZV9sci4KdmdpY19taWdyYXRlX2lycSBy
dW5uaW5nIGNvbmN1cnJlbnRseSB3aXRoIGdpY191cGRhdGVfb25lX2xyIGNvdWxkIGNhdXNlCmRh
dGEgY29ycnVwdGlvbnMsIGFzIHRoZXkgYm90aCBhY2Nlc3MgdGhlIGluZmxpZ2h0IGxpc3QuCgpU
aGlzIHBhdGNoIGZpeGVzIHRoaXMgcHJvYmxlbS4gSW4gdmdpY19taWdyYXRlX2lycSBhZnRlciBz
ZXR0aW5nIHRoZSBuZXcKdmNwdSB0YXJnZXQsIGl0IGNoZWNrcyBib3RoIEdJQ19JUlFfR1VFU1Rf
TUlHUkFUSU5HIGFuZApHSUNfSVJRX0dVRVNUX1ZJU0lCTEUuIElmIHRoZXkgYXJlIGJvdGggc2V0
IHdlIGNhbiBqdXN0IHJldHVybiBiZWNhdXNlCndlIGhhdmUgYWxyZWFkeSBzZXQgdGhlIG5ldyB0
YXJnZXQ6IHdoZW4gZ2ljX3VwZGF0ZV9vbmVfbHIgcmVhY2hlcwp0aGUgR0lDX0lSUV9HVUVTVF9N
SUdSQVRJTkcgdGVzdCwgaXQgd2lsbCBkbyB0aGUgcmlnaHQgdGhpbmcuCgpPdGhlcndpc2UsIGlm
IEdJQ19JUlFfR1VFU1RfTUlHUkFUSU5HIGlzIHNldCBidXQgR0lDX0lSUV9HVUVTVF9WSVNJQkxF
CmlzIG5vdCwgZ2ljX3VwZGF0ZV9vbmVfbHIgaXMgcnVubmluZyBhdCB0aGUgdmVyeSBzYW1lIHRp
bWUgb24gYW5vdGhlcgpwY3B1LCBzbyBpdCBqdXN0IHdhaXRzIHVudGlsIGl0IGNvbXBsZXRlcyAo
R0lDX0lSUV9HVUVTVF9NSUdSQVRJTkcgaXMKY2xlYXJlZCkuCgpTaWduZWQtb2ZmLWJ5OiBTdGVm
YW5vIFN0YWJlbGxpbmkgPHNzdGFiZWxsaW5pQGtlcm5lbC5vcmc+Ci0tLQogeGVuL2FyY2gvYXJt
L2dpYy5jICB8ICA1ICsrKystCiB4ZW4vYXJjaC9hcm0vdmdpYy5jIHwgMTYgKysrKysrKysrKysr
KystLQogMiBmaWxlcyBjaGFuZ2VkLCAxOCBpbnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoK
ZGlmZiAtLWdpdCBhL3hlbi9hcmNoL2FybS9naWMuYyBiL3hlbi9hcmNoL2FybS9naWMuYwppbmRl
eCAxNmJiMTUwLi5hODA1MzAwIDEwMDY0NAotLS0gYS94ZW4vYXJjaC9hcm0vZ2ljLmMKKysrIGIv
eGVuL2FyY2gvYXJtL2dpYy5jCkBAIC01MDgsMTAgKzUwOCwxMyBAQCBzdGF0aWMgdm9pZCBnaWNf
dXBkYXRlX29uZV9scihzdHJ1Y3QgdmNwdSAqdiwgaW50IGkpCiAgICAgICAgICAgICAgKiBuZXh0
IHBjcHUsIGluZmxpZ2h0IGlzIGFscmVhZHkgY2xlYXJlZC4gTm8gY29uY3VycmVudAogICAgICAg
ICAgICAgICogYWNjZXNzZXMgdG8gaW5mbGlnaHQuICovCiAgICAgICAgICAgICBzbXBfbWIoKTsK
LSAgICAgICAgICAgIGlmICggdGVzdF9hbmRfY2xlYXJfYml0KEdJQ19JUlFfR1VFU1RfTUlHUkFU
SU5HLCAmcC0+c3RhdHVzKSApCisgICAgICAgICAgICBpZiAoIHRlc3RfYml0KEdJQ19JUlFfR1VF
U1RfTUlHUkFUSU5HLCAmcC0+c3RhdHVzKSApCiAgICAgICAgICAgICB7CiAgICAgICAgICAgICAg
ICAgc3RydWN0IHZjcHUgKnZfdGFyZ2V0ID0gdmdpY19nZXRfdGFyZ2V0X3ZjcHUodiwgaXJxKTsK
ICAgICAgICAgICAgICAgICBpcnFfc2V0X2FmZmluaXR5KHAtPmRlc2MsIGNwdW1hc2tfb2Yodl90
YXJnZXQtPnByb2Nlc3NvcikpOworICAgICAgICAgICAgICAgIC8qIFNldCB0aGUgbmV3IGFmZmlu
aXR5LCB0aGVuIGNsZWFyIE1JR1JBVElORy4gKi8KKyAgICAgICAgICAgICAgICBzbXBfbWIoKTsK
KyAgICAgICAgICAgICAgICBjbGVhcl9iaXQoR0lDX0lSUV9HVUVTVF9NSUdSQVRJTkcsICZwLT5z
dGF0dXMpOwogICAgICAgICAgICAgfQogICAgICAgICB9CiAgICAgfQpkaWZmIC0tZ2l0IGEveGVu
L2FyY2gvYXJtL3ZnaWMuYyBiL3hlbi9hcmNoL2FybS92Z2ljLmMKaW5kZXggYTMyM2U3ZS4uOTE0
MWIzNCAxMDA2NDQKLS0tIGEveGVuL2FyY2gvYXJtL3ZnaWMuYworKysgYi94ZW4vYXJjaC9hcm0v
dmdpYy5jCkBAIC0yNTIsMTMgKzI1MiwyNSBAQCB2b2lkIHZnaWNfbWlncmF0ZV9pcnEoc3RydWN0
IHZjcHUgKm9sZCwgc3RydWN0IHZjcHUgKm5ldywKICAgICBzcGluX2xvY2tfaXJxc2F2ZSgmb2xk
LT5hcmNoLnZnaWMubG9jaywgZmxhZ3MpOwogICAgIHdyaXRlX2F0b21pYyh0X3ZjcHUsIG5ldy0+
dmNwdV9pZCk7CiAKLSAgICAvKiBtaWdyYXRpb24gYWxyZWFkeSBpbiBwcm9ncmVzcywgbm8gbmVl
ZCB0byBkbyBhbnl0aGluZyAqLwotICAgIGlmICggdGVzdF9iaXQoR0lDX0lSUV9HVUVTVF9NSUdS
QVRJTkcsICZwLT5zdGF0dXMpICkKKyAgICAvKiBTZXQgdGhlIG5ldyB0YXJnZXQsIHRoZW4gY2hl
Y2sgTUlHUkFUSU5HIGFuZCBWSVNJQkxFLCBpdCBwYWlycworICAgICAqIHdpdGggdGhlIGJhcnJp
ZXIgaW4gZ2ljX3VwZGF0ZV9vbmVfbHIuICovCisgICAgc21wX21iKCk7CisKKyAgICAvKiBubyBu
ZWVkIHRvIGRvIGFueXRoaW5nLCBnaWNfdXBkYXRlX29uZV9sciB3aWxsIHRha2UgY2FyZSBvZiBp
dCAqLworICAgIGlmICggdGVzdF9iaXQoR0lDX0lSUV9HVUVTVF9NSUdSQVRJTkcsICZwLT5zdGF0
dXMpICYmCisgICAgICAgICB0ZXN0X2JpdChHSUNfSVJRX0dVRVNUX1ZJU0lCTEUsICZwLT5zdGF0
dXMpICkKICAgICB7CiAgICAgICAgIHNwaW5fdW5sb2NrX2lycXJlc3RvcmUoJm9sZC0+YXJjaC52
Z2ljLmxvY2ssIGZsYWdzKTsKICAgICAgICAgcmV0dXJuOwogICAgIH0KIAorICAgIC8qIGdpY191
cGRhdGVfb25lX2xyIGlzIGN1cnJlbnRseSBydW5uaW5nLCB3YWl0IHVudGlsIGl0cyBjb21wbGV0
aW9uICovCisgICAgd2hpbGUgKCB0ZXN0X2JpdChHSUNfSVJRX0dVRVNUX01JR1JBVElORywgJnAt
PnN0YXR1cykgKQorICAgIHsKKyAgICAgICAgY3B1X3JlbGF4KCk7CisgICAgICAgIHNtcF9ybWIo
KTsKKyAgICB9CisKICAgICBpZiAoIGxpc3RfZW1wdHkoJnAtPmluZmxpZ2h0KSApCiAgICAgewog
ICAgICAgICBpcnFfc2V0X2FmZmluaXR5KHAtPmRlc2MsIGNwdW1hc2tfb2YobmV3LT5wcm9jZXNz
b3IpKTsKLS0gCjEuOS4xCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpo
dHRwczovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==