From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from smtp-fw-6001.amazon.com ([52.95.48.154]:1850 "EHLO
        smtp-fw-6001.amazon.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1728880AbeHNRxC (ORCPT
        <rfc822;smatch@vger.kernel.org>); Tue, 14 Aug 2018 13:53:02 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209;
  t=1534259128; x=1565795128;
  h=subject:to:cc:references:from:message-id:date:
   mime-version:in-reply-to:content-transfer-encoding;
  bh=BRKTs7weH63twV9E5A9Sfu3IkVPAh1YZ4rIBT6kWNGA=;
  b=Mm0B6MXrHFal7M6RqTrJAqPsssXURHB2TDyrx6OlMSivgmyj+4TZzDn0
   HUWyB8eRQ4Ejb9WdeLMNS/p5vhNISm/tJpphJqEKjOzaGS64LCHPubIXp
   lsUOeap/jb47gXtVru2emublhukGpixEDuhz4No9cuTLsYUKQ4kkHCoQx
   M=;
Subject: Re: Smatch for Xen
References: <20180806112003.iyir4napbpn4q6z6@mwanda>
 <20180806131632.w4rd3ntfgoxwxb5l@mwanda>
 <CAByO1we3OABkX8XCwh7Vq8iHyXAuFtJ3t+Ta3DVCLe9pP6K8ew@mail.gmail.com>
 <20180806135409.r5xytcrffqi3ddco@mwanda>
 <cbd1c9fc-1d04-7713-7d92-6cc37015f7ed@amazon.de>
 <20180813175845.muweaoh6s5rxcr57@mwanda>
 <20180813183132.suxab5gfub5uig2k@mwanda>
 <bbe9f3aa-1ec8-5004-1d4e-c29eb6868058@amazon.de>
 <20180814142117.v7tavkwisxcoel2f@mwanda>
 <e7222a62-8a49-717f-0589-25d1f304e036@amazon.de>
 <20180814145220.uzmcdwh3guqeb2kh@mwanda>
From: Norbert Manthey <nmanthey@amazon.de>
Message-ID: <59fac17e-7272-2098-15f5-d89473d75e13@amazon.de>
Date: Tue, 14 Aug 2018 17:05:16 +0200
MIME-Version: 1.0
In-Reply-To: <20180814145220.uzmcdwh3guqeb2kh@mwanda>
Content-Type: text/plain; charset="utf-8"
Content-Language: en-US
Content-Transfer-Encoding: base64
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Dan Carpenter <dan.carpenter@oracle.com>
Cc: Norbert Manthey <norbertmanthey@googlemail.com>, smatch@vger.kernel.org, jsteckli@amazon.com, tautschn@amazon.co.uk

QWxyaWdodCwgdGhlIHBhdGNoZXMgYXJlIG91dC4gVGhlIGxpc3QgaXMgbm90IGNvbXBsZXRlLCBi
dXQgaXQncyBhIHN0YXJ0CnRoYXQgc2hvdWxkIGFsbG93IHRvIGdldCB0aGUgZmlyc3QgdGFpbnQg
aW5mb3JtYXRpb24gZm9yIFhlbiBhcyB3ZWxsLiBJCmhvcGUgdGhleSBtYWtlIHNlbnNlLiBHaXZl
biBteSBsaW1pdGVkIGV4cGVyaWVuY2Ugd2l0aCBzbWF0Y2gsIEkgbWlnaHQKaGF2ZSBtYWRlIG1p
c3Rha2VzLgoKSSBzcG90dGVkIGxpbWl0cyBkdXJpbmcgY29tcGlsYXRpb24sIGFuZCBpbmNyZWFz
ZWQgYSBmZXcuIEkgZ3Vlc3MgdGhlcmUKYXJlIG1vcmUuIEknbGwgcGxheSB3aXRoIGl0IGFuZCBt
aWdodCBpbmNyZWFzZSBzb21lIG90aGVycyBldmVudHVhbGx5LAp0byBnZXQgbW9yZSBjb3ZlcmFn
ZS4KCkJlc3QsCk5vcmJlcnQKCk9uIDA4LzE0LzIwMTggMDQ6NTIgUE0sIERhbiBDYXJwZW50ZXIg
d3JvdGU6Cj4gT24gVHVlLCBBdWcgMTQsIDIwMTggYXQgMDQ6MzM6MTVQTSArMDIwMCwgTm9yYmVy
dCBNYW50aGV5IHdyb3RlOgo+PiBPaCwgdGhhdCdzIG5pY2UuIEknbGwgcGxheSB3aXRoIHRoZSBu
ZXcgc2NyaXB0Lgo+Pgo+PiBDb25jZXJuaW5nIHRoZSBjb3B5IGZyb20gdXNlciBmdW5jdGlvbnMs
IEkgaGF2ZSBhIGZldyBwYXRjaGVzIGxvY2FsbHkgdG8KPj4gZ2V0IHRoZSBmdW5jdGlvbnMgaW50
byB0aGUgdG9vbCwgd2hpY2ggSSBqdXN0IGhhdmUgdG8gbWFrZSBhIGxpdHRsZQo+PiBuaWNlciBi
ZWZvcmUgc2hhcmluZy4gSSB3aWxsIHBvc3QgdGhlbSBvbmNlIGRvbmUuCj4gCj4gRm9yZ2V0IGFi
b3V0IG1ha2luZyBpdCBuaWNlLiAgSnVzdCBzZW5kIGl0LiAgOikKPiAKPj4gSSBmb3VuZCB0aGUK
Pj4gImNvcHlfZnJvbV9ndWVzdCIgc3RyaW5nIGFsc28gYXQgb3RoZXIgcGxhY2VzLCBhcyB3ZWxs
IGFzIG1hdGNoaW5nCj4+IHN5c2NhbGxzIHdoaWNoIGNvbWUgd2l0aCBhIHVzZXIgY29udHJvbGxh
YmxlIGFyZ3VtZW50LiBUaGUgcGF0Y2hlcwo+PiBzaG91bGQgY292ZXIgYWxsIHRob3NlLgo+IAo+
IEluIHRoZSBrZXJuZWwsIHN5c2NhbGxzIHNob3VsZCBiZSBjb3ZlcmVkLiAgSGlzdG9yaWNhbGx5
LCBpdCBkb2VzIG1hdHRlcgo+IGhvdyB0aGUga2VybmVsIGlzIGNvbmZpZ3VyZWQsIGJ1dCBob3Bl
ZnVsbHkgd2UndmUgZml4ZWQgdGhvc2UgYnVncy4KPiBBbHNvIHdlIGtlZXAgY2hhbmdpbmcgdGhl
IFNZU19DQUxMIG1hY3Jvcywgc28gSSBjYW4ndCBzd2VhciB0aGF0IGFsbAo+IHZlcnNpb25zIHdv
cmsuCj4gCj4gcmVnYXJzLAo+IGRhbiBjYXJwZW50ZXIKPiAKPiAKQW1hem9uIERldmVsb3BtZW50
IENlbnRlciBHZXJtYW55IEdtYkgKQmVybGluIC0gRHJlc2RlbiAtIEFhY2hlbgptYWluIG9mZmlj
ZTogS3JhdXNlbnN0ci4gMzgsIDEwMTE3IEJlcmxpbgpHZXNjaGFlZnRzZnVlaHJlcjogRHIuIFJh
bGYgSGVyYnJpY2gsIENocmlzdGlhbiBTY2hsYWVnZXIKVXN0LUlEOiBERTI4OTIzNzg3OQpFaW5n
ZXRyYWdlbiBhbSBBbXRzZ2VyaWNodCBDaGFybG90dGVuYnVyZyBIUkIgMTQ5MTczIEIK