From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Campbell <ian.campbell@citrix.com>
Subject: Re: missing lock in percpu_rwlock? (Was: Re: New
 Defects reported by Coverity Scan for XenProject)
Date: Wed, 3 Feb 2016 12:32:19 +0000
Message-ID: <1454502739.25207.108.camel@citrix.com>
References: <56b180c017d5f_214fb5b3143623f@ss1435.mail>
	<1454496349.25207.54.camel@citrix.com> <56B1DB64.8040402@citrix.com>
	<1454497213.25207.62.camel@citrix.com> <56B1F0CC.4090708@citrix.com>
	<56B1F190.8070600@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <56B1F190.8070600@citrix.com>
List-Unsubscribe: <http://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: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Andrew Cooper <andrew.cooper3@citrix.com>, Malcolm Crossley <malcolm.crossley@citrix.com>
Cc: George Dunlap <george.dunlap@citrix.com>, Jan Beulich <jbeulich@suse.com>, xen-devel <xen-devel@lists.xen.org>
List-Id: xen-devel@lists.xenproject.org

T24gV2VkLCAyMDE2LTAyLTAzIGF0IDEyOjI0ICswMDAwLCBBbmRyZXcgQ29vcGVyIHdyb3RlOgo+
IE9uIDAzLzAyLzE2IDEyOjIxLCBBbmRyZXcgQ29vcGVyIHdyb3RlOgo+ID4gT24gMDMvMDIvMTYg
MTE6MDAsIElhbiBDYW1wYmVsbCB3cm90ZToKPiA+ID4gT24gV2VkLCAyMDE2LTAyLTAzIGF0IDEw
OjUwICswMDAwLCBBbmRyZXcgQ29vcGVyIHdyb3RlOgo+ID4gPiA+IE9uIDAzLzAyLzE2IDEwOjQ1
LCBJYW4gQ2FtcGJlbGwgd3JvdGU6Cj4gPiA+ID4gPiBPbiBUdWUsIDIwMTYtMDItMDIgYXQgMjA6
MjMgLTA4MDAsIHNjYW4tYWRtaW5AY292ZXJpdHkuY29tIHdyb3RlOgo+ID4gPiA+ID4gPiAqIENJ
RCAxMzUxMjIzOsKgwqBDb25jdXJyZW50IGRhdGEgYWNjZXNzCj4gPiA+ID4gPiA+IHZpb2xhdGlv
bnPCoMKgKE1JU1NJTkdfTE9DSykKPiA+ID4gPiA+ID4gL3hlbi9pbmNsdWRlL3hlbi9zcGlubG9j
ay5oOiAzNjIgaW4gX3BlcmNwdV93cml0ZV91bmxvY2soKQo+ID4gPiA+ID4gQ292ZXJpdHkgc2Vl
bXMgdG8gdGhpbmsgdGhpcyBpcyBuZXcgaW4gNDFiMGFhNTY5YWRiLi45OTM3NzYzMjY1ZCwKPiA+
ID4gPiA+IHByZXN1bWFibHkgZHVlIHRvIAo+ID4gPiA+ID4gCj4gPiA+ID4gPiBjb21taXQgZjlk
ZDQzZGRkYzBhMzFhNDM0M2E1ODA3MjkzNWMxYjVjMGNiYmVlCj4gPiA+ID4gPiBBdXRob3I6IE1h
bGNvbG0gQ3Jvc3NsZXkgPG1hbGNvbG0uY3Jvc3NsZXlAY2l0cml4LmNvbT4KPiA+ID4gPiA+IERh
dGU6wqDCoMKgRnJpIEphbiAyMiAxNjowNDo0MSAyMDE2ICswMTAwCj4gPiA+ID4gPiAKPiA+ID4g
PiA+IMKgwqDCoMKgcndsb2NrOiBhZGQgcGVyLWNwdSByZWFkZXItd3JpdGVyIGxvY2sgaW5mcmFz
dHJ1Y3R1cmUKPiA+ID4gPiBFeHBlY3RlZCBiZWhhdmlvdXIuwqDCoHdyaXRlcl9hY3RpdmF0aW5n
IGlzIGV4cGVjdGVkIHRvIG9ubHkgYmUKPiA+ID4gPiB3cml0dGVuCj4gPiA+ID4gdW5kZXIgbG9j
aywgYnV0IHJlYWQgd2l0aG91dCBsb2NrLgo+ID4gPiBJIHN1cHBvc2UgdGhpcyBpcyBzb21ldGhp
bmcgd2Ugc2hvdWxkIGV2ZW50dWFsbHkgbW9kZWw/Cj4gPiBTaG9ydCBvZiBhbm5vdGF0aW5nIHRo
ZSBzb3VyY2UgY29kZSB3aXRoIENvdmVyaXR5IGNvbW1lbnRzICh3aGljaCBoYXMKPiA+IGFscmVh
ZHkgYmVlbiBvYmplY3RlZCB0byksIEkgZG9uJ3Qgc2VlIGEgd2F5Lgo+ID4gCj4gPiBUaGlzIGlz
c3VlIGlzIENvdmVyaXR5IChjb3JyZWN0bHkpIG9ic2VydmluZyB0aGUgYmVoYXZpb3VyIG9mIHRo
ZQo+ID4gZnVuY3Rpb24sIGFuZCBjb21pbmcgdG8gdGhlIHdyb25nIGNvbmNsdXNpb24uwqDCoFRo
ZSBtb2RlbGxpbmcgZmlsZSBpcwo+ID4gdXNlZCB0byBjb3JyZWN0IHRoZSBpbnRlcnByZXRhdGlv
biBvZiB0aGUgYmVoYXZpb3VyIG9mIHRoZSBmdW5jdGlvbi4KPiA+IAo+ID4gPiBXb3VsZCB5b3Ug
dHlwaWNhbGx5IG1hcmsgdGhpcyBhcyAiRmFsc2UgcG9zaXRpdmUiIG9yICJJbnRlbnRpb25hbCI/
Cj4gPiBJIHdvdWxkIGVyciBvbiB0aGUgc2lkZSBvZiBJbnRlbnRpb25hbC4KPiA+IAo+ID4gVGhl
IGFuYWx5c2lzIG9mIHRoZSBpc3N1ZSB3YXMgY29ycmVjdDsgdGhhdCBkYXRhIHdhcyBhY2Nlc3Nl
ZCBib3RoIHdpdGgKPiA+IGFuZCB3aXRob3V0IHRoZSBsb2NrLCBhbmQgdGhhdCB0aGlzIHVzdWFs
bHkgbWVhbnMgYSBkYXRhIHJhY2UKPiA+IGNvbmRpdGlvbi4KPiA+IAo+ID4gSW4gdGhpcyBjYXNl
LCBpdCBpcyBhIGRlbGliZXJhdGUgYWxnb3JpdGhtIGRlY2lzaW9uIHRvIGhhdmUgdGhlIGRhdGEK
PiA+IGFjY2VzcyBsaWtlIHRoaXMuCgpEb25lLiBJIGxpbmtlZCB0byB5b3VyIGV4cGxhbmF0aW9u
IGluIHRoZSBjb21tZW50cy4KCj4gPiAKPiA+ID4gSSBqdXN0IG1hcmtlZCBhIGNvdXBsZSBvZiBs
aWJ4bCBvbmVzIGFib3V0IHRha2luZyBjdHgtPmxvY2sgKHdoaWNoIGlzCj4gPiA+IHJlY3Vyc2l2
ZSkgdHdpY2UgYXMgIkZhbHNlIHBvc2l0aXZlIiwgYnV0IHBlcmhhcHMgIkludGVudGlvbmFsIiBp
cwo+ID4gPiB0aGUKPiA+ID4gY29ycmVjdCBkZXNpZ25hdGlvbiB0aGVyZT8KPiA+IFRoZXJlIGlz
IGFuIGF0dGVtcHQgdG8gbW9kZWwgdGhpcyBpbiB0aGUgbW9kZWwgZmlsZSwgYnV0IGl0IGNsZWFy
bHkKPiA+IGlzbid0IHRha2luZy4KPiAKPiAoSSBtZWFudCB0byBzYXkgYXMgd2VsbCkKPiAKPiBU
aGlzIEkgd291bGQgZXJyIGluIHRoZSBzaWRlIG9mIGZhbHNlIHBvc2l0aXZlLCB3aXRoICJtb2Rl
bGxpbmcKPiByZXF1aXJlZCIgYXMgYSByZWFzb24uwqDCoFRoZSBsb2NrIGlzIGEgcmVjdXJzaXZl
IGxvY2sgYW5kIENvdmVyaXR5IHNob3VsZAo+IGJlIGFibGUgdG8gc3BvdCB0aGlzIGZhY3QsIGJ1
dCBjYW4ndCBmb3Igc29tZSByZWFzb24uCgpHb29kIGlkZWEsIEknbGwgdXBkYXRlIHRob3NlLgoK
SWFuCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4t
ZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHA6Ly9saXN0cy54
ZW4ub3JnL3hlbi1kZXZlbAo=