From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from smtp-fw-6002.amazon.com ([52.95.49.90]:22997 "EHLO
        smtp-fw-6002.amazon.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1729312AbeHOQga (ORCPT
        <rfc822;smatch@vger.kernel.org>); Wed, 15 Aug 2018 12:36:30 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209;
  t=1534340655; x=1565876655;
  h=subject:to:cc:references:from:message-id:date:
   mime-version:in-reply-to:content-transfer-encoding;
  bh=wvmPP8634wo5ayYYABDSy42cRWPqoWEEYqFgZyx2ftY=;
  b=XpcerjYwJyiFGFOUB9iD9kw/JJfEHZ25fKI8FxB8UJ+rViQc9680+EuE
   oLowVMZjjCL7efIlTZs7GzLPtrMrW4IY6nrzcCnMtVwV0otxrT4LE1/qE
   /+zZeL+8g2g1lp1P9NPNu3jZ/BsfslJ8NcDR4XWIPgBGPEBc87BvC4oM0
   8=;
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>
 <20180815090348.nywfrystuytf2ta3@mwanda>
From: Norbert Manthey <nmanthey@amazon.de>
Message-ID: <66e81e7b-de2c-cfa1-5ed8-98cb76ff08c3@amazon.de>
Date: Wed, 15 Aug 2018 15:44:06 +0200
MIME-Version: 1.0
In-Reply-To: <20180815090348.nywfrystuytf2ta3@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

SSBzZWUuIEkgYXNzdW1lIHNtYXRjaCBkb2VzIG5vdCBwcmludCBvdXRwdXQgaW4gcGFyYWxsZWws
IHNvIHRoYXQgbWl4CnJlc3VsdHMgZnJvbSBvbmUtbGluZS1zY2FuIGNvbXBpbGluZyB0aGUgc2Ft
ZSBmaWxlIG11bHRpcGxlIHRpbWVzLCBhbmQKdGhvc2UgY2FsbHMgY29tcGV0ZSB3cnQgd3JpdGlu
ZyB0byB0aGF0IGZpbGUuCgpBcyB0aGUgb3V0cHV0IG1pZ2h0IGJlIGJyb2tlbiwgY291bGQgd2Ug
YWdyZWUgb24gdXNpbmcgdGhlIC0tZmlsZS1vdXRwdXQKb3B0aW9uIGZvciBub3csIGFuZCBJIHNl
ZSBob3cgSSBjYW4gZml4IHRoZSBtaXhlZCBvdXRwdXQgcHJvYmxlbSBiZXN0PwoKQmVzdCwKTm9y
YmVydAoKT24gMDgvMTUvMjAxOCAxMTowMyBBTSwgRGFuIENhcnBlbnRlciB3cm90ZToKPiBJIGhh
dmUgYW4gaXNzdWUgd2hlcmUgdGhlIG91dHB1dCBpcyBnZXR0aW5nIGEgYml0IGp1bWJsZWQgd2hl
biBJIGJ1aWxkCj4gd2l0aCAtLWluZm8uCj4gCj4gL2hvbWUvZGNhcnBlbnRlci9wcm9ncy9zcmMv
eGVuL3hlbi94ZW4vYXJjaC94ODYvbW0vc2hhZG93L211bHRpLmM6NDc3NyBzaF9hdWRpdF9mbDFf
dGFibGVfX2d1ZXN0XzIoKSBTUUxfY2FsbGVyX2luZm86IGluc2VydCBpbnRvIGNhbGxlcl9pbmZv
IHZhbHVlcyAoJy9ob21lL2RjYXJwZW50ZXIvcHJvZ3Mvc3JjL3hlbi94ZW4veGVuL2FyY2gveDg2
L21tL3NoYWRvdy9tdWx0aS5jJywgJ3NoX2F1ZGl0X2ZsMV90YWJsZV9fZ3Vlc3RfMicsICdndWVz
dF9pbmRleCcsICVDQUxMX0lEJSwgMSwgMCwgLTEsICclY2FsbF9tYXJrZXIlJywgL3NoYWRvdy9t
dWx0aS5jOjMzNDAgc2hfcGFnZV9mYXVsdF9fZ3Vlc3RfNCgpIFNRTF9jYWxsZXJfaW5mbzogaW5z
ZXJ0IGludG8gY2FsbGVyX2luZm8gdmFsdWVzICgnL2hvbWUvZGNhcnBlbnRlci9wcm9ncy9zcmMv
eGVuL3hlbi94ZW4vYXJjaC94ODYvbW0vc2hhZG93L211bHRpLmMnLCAnc2hfcGFnZV9mYXVsdF9f
Z3Vlc3RfNCcsICdzaF9hdWRpdF9ndycsICVDQUxMX0lEJSwgMSwgMTAwMSwgMCwgJyQtPmRvbWFp
bi0+YXJjaC5wYWdpbmcuc2hhZG93Lmhhc19mYXN0X21taW9fZW50cmllcycsICcxJyk7Cj4gCj4g
SXQncyBtaXhpbmcgbGluZSA0Nzc3IHdpdGggMzM0MC4KPiAKPiByZWdhcmRzLAo+IGRhbiBjYXJw
ZW50ZXIKPiAKQW1hem9uIERldmVsb3BtZW50IENlbnRlciBHZXJtYW55IEdtYkgKQmVybGluIC0g
RHJlc2RlbiAtIEFhY2hlbgptYWluIG9mZmljZTogS3JhdXNlbnN0ci4gMzgsIDEwMTE3IEJlcmxp
bgpHZXNjaGFlZnRzZnVlaHJlcjogRHIuIFJhbGYgSGVyYnJpY2gsIENocmlzdGlhbiBTY2hsYWVn
ZXIKVXN0LUlEOiBERTI4OTIzNzg3OQpFaW5nZXRyYWdlbiBhbSBBbXRzZ2VyaWNodCBDaGFybG90
dGVuYnVyZyBIUkIgMTQ5MTczIEIK