From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from smtp-fw-4101.amazon.com ([72.21.198.25]:38284 "EHLO
        smtp-fw-4101.amazon.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1728293AbeHMRI2 (ORCPT
        <rfc822;smatch@vger.kernel.org>); Mon, 13 Aug 2018 13:08:28 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209;
  t=1534170357; x=1565706357;
  h=subject:to:cc:references:from:message-id:date:
   mime-version:in-reply-to:content-transfer-encoding;
  bh=457fjw1A+CiOB+Sc+TTzFkg2RYuA+2JKtWSOU0AhEiA=;
  b=viKdrQP5h/TZqaLBam6TMKjwWy/L+MEZNbkAW1VFm4JkNJlZEhySb6s+
   RjUhunF/TdX4WaUXD87xmSVaLypm/Nvq+konoxo1Dc3G4NDvKJSsQrrHK
   3Com2pEnxGjt3qr2VtFAgxHxb0JFKzDqqNZskzqNQUrVU7MPL9UZkbEUY
   c=;
Subject: Re: Smatch for Xen
References: <32158e28-2ee8-f2b9-2d66-77c8eb43b5b5@amazon.de>
 <20180806103132.vzqmp2ns4ytj2aol@mwanda>
 <20180806112003.iyir4napbpn4q6z6@mwanda>
 <20180806131632.w4rd3ntfgoxwxb5l@mwanda>
 <CAByO1we3OABkX8XCwh7Vq8iHyXAuFtJ3t+Ta3DVCLe9pP6K8ew@mail.gmail.com>
 <20180806135409.r5xytcrffqi3ddco@mwanda>
From: Norbert Manthey <nmanthey@amazon.de>
Message-ID: <cbd1c9fc-1d04-7713-7d92-6cc37015f7ed@amazon.de>
Date: Mon, 13 Aug 2018 16:25:46 +0200
MIME-Version: 1.0
In-Reply-To: <20180806135409.r5xytcrffqi3ddco@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>, Norbert Manthey <norbertmanthey@googlemail.com>
Cc: smatch@vger.kernel.org, jsteckli@amazon.com, tautschn@amazon.co.uk

RGVhciBEYW4sCgpJIGp1c3Qgc3BsaXQgdGhlIG91dHB1dCBpbiBvbmUtbGluZS1zY2FuLCBhbmQg
YWxzbyB1c2UgeW91ciBjZ2NjIHdyYXBwZXIKYnkgbm93LiBGdXJ0aGVybW9yZSwgSSBsb2cgYWxs
IGNhbGxzIHRvIGNnY2Mgc28gdGhhdCByZXBsYXlpbmcgc2luZ2xlCmNhbGxzIGlzIGVhc3kgbm93
LiBUaGUgcmVsZXZhbnQgaW5mbyBpcyBsb2dnZWQgaW4gdGhlIGZpbGUKClNNQVRDSC9zbWF0Y2gv
c21hdGNoLXByZXByb2Nlc3MubG9nCgpIb3dldmVyLCBJIGRvIG5vdCBzZWUgYSByZWFzb24gbm90
IHRvIHVzZSB0aGUgLS1maWxlLW91dHB1dCBmbGFnLCBpbgpjYXNlIHlvdSBhcmUgbW9yZSB1c2Vk
IHRvIHRoYXQuIFRoYXQgc2hvdWxkIHNpbXBseSByZXN1bHQgaW4gbXkgb3V0cHV0CmZpbGVzIGJl
aW5nIGVtcHR5LCBidXQgdGhhdCdzIGZpbmUuIFRoaXMgd2F5LCB5b3VyIHRvb2xpbmcgc2hvdWxk
IHdvcmssCmkuZS4gY29sbGVjdGluZyBhbGwgdGhlIC5zbWF0Y2ggZmlsZXMgc2hvdWxkIGJlaGF2
ZSBhcyBpbiBjYXNlIG9mCndvcmtpbmcgd2l0aCB0aGUga2VybmVsLgoKSWYgdGhlcmUgaXMgYW55
dGhpbmcgZWxzZSBJIGNhbiBoZWxwIHdpdGgsIHBsZWFzZSBsZXQgbWUga25vdy4gSSB3b3VsZAps
b3ZlIHRvIHVzZSB5b3VyIHRhaW50IGFuYWx5c2lzIGZvciBYZW4gYXMgd2VsbC4KCkJlc3QsCk5v
cmJlcnQKCk9uIDA4LzA2LzIwMTggMDM6NTQgUE0sIERhbiBDYXJwZW50ZXIgd3JvdGU6Cj4gT24g
TW9uLCBBdWcgMDYsIDIwMTggYXQgMDM6Mjc6MTFQTSArMDIwMCwgTm9yYmVydCBNYW50aGV5IHdy
b3RlOgo+PiBUaGFua3MgYSBsb3QuIEkgYW0gY3VycmVudGx5IG91dCBvZiB0aGUgb2ZmaWNlLCBh
bmQgbWlnaHQgYmUgYWJsZSB0bwo+PiByZXNwb25kIG9uY2UgaW4gYSB3aGlsZS4gSWYgcmVxdWly
ZWQsIEkgY291a2QgZ2V0IG1vcmUgZGV0YWlscyB0byBoZWxwIHlvdQo+PiBieSBwdWxsaW5nIGlu
IGNvbGxlYWd1ZXMuCj4+Cj4+IElmIHlvdSBoYXZlIGFueXRoaW5nIHRoYXQgaSBjb3VsZCBpbXBy
b3ZlIHdydCBvbmUtbGluZS1zY2FuLCBwbGVhc2UgbGV0IG1lCj4+IGtub3cuCj4+Cj4gCj4gVGhl
IC0tZmlsZS1vdXRwdXQgb3B0aW9uIHNlZW1zIHRvIGJlIGJyb2tlbiBmb3IgeGVuLCBidXQgaXQn
cyBhbHNvCj4gdW5uZWNlc3NhcnkgaWYgeW91J3JlIHVzaW5nIG9uZS1saW5lLXNjYW4gYmVjYXVz
ZSB0aGUgb3V0cHV0IGlzIGFscmVhZHkKPiBzZXBhcmF0ZWQgYnkgZmlsZS4KPiAKPiBXaGF0IHdv
dWxkIGhlbHAgbWUgaXMgaWYgdGhlIHN0cm9yZWQgZmlsZXMgbGlrZToKPiBTTUFUQ0gvc21hdGNo
L3Jlc3VsdHMveGVuX2FyY2hfeDg2X3B2X3JvLXBhZ2UtZmF1bHQuYwo+IG9ubHkgc3RvcmUgc3Rk
b3V0IGFuZCBub3Qgc3RkZXJyLgo+IAo+IE9mIGNvdXJzZSwgeW91J2QgcHJlZmVyIHRvIG5vdCBo
YXZlIGFueSBzdGRlcnIgb3V0cHV0LCBidXQgb3RoZXJ3aXNlIEknbQo+IG5vdCBpbnRlcmVzdGVk
IGluIGl0LiAgSXQganVzdCBjb3JydXB0cyBteSBzdGRvdXQgbGluZXMuCj4gCj4gcmVnYXJkcywK
PiBkYW4gY2FycGVudGVyCj4gCkFtYXpvbiBEZXZlbG9wbWVudCBDZW50ZXIgR2VybWFueSBHbWJI
CkJlcmxpbiAtIERyZXNkZW4gLSBBYWNoZW4KbWFpbiBvZmZpY2U6IEtyYXVzZW5zdHIuIDM4LCAx
MDExNyBCZXJsaW4KR2VzY2hhZWZ0c2Z1ZWhyZXI6IERyLiBSYWxmIEhlcmJyaWNoLCBDaHJpc3Rp
YW4gU2NobGFlZ2VyClVzdC1JRDogREUyODkyMzc4NzkKRWluZ2V0cmFnZW4gYW0gQW10c2dlcmlj
aHQgQ2hhcmxvdHRlbmJ1cmcgSFJCIDE0OTE3MyBCCg==