From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from smtp-fw-2101.amazon.com ([72.21.196.25]:34806 "EHLO
        smtp-fw-2101.amazon.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1730488AbeHNQQs (ORCPT
        <rfc822;smatch@vger.kernel.org>); Tue, 14 Aug 2018 12:16:48 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209;
  t=1534253376; x=1565789376;
  h=subject:to:cc:references:from:message-id:date:
   mime-version:in-reply-to:content-transfer-encoding;
  bh=+T7S7xx2Xz0RAb29p1XqCRkew3zJYorGSa7Av2kbx+U=;
  b=o/r/KMezy9awsMW0R2TwHfqWuKsxz74skkCfb5NqoAIeqvG+hP2NfrUv
   0w0wy9/6DpjiJ09Lb9bUDsWBPB2/+k/fzKtWWMMCjCN7zt+FvDciNlrfu
   1toI9+T9/UJJDMmoYrqbj68U6GVA3TGjpQ0LYcXLyVBVzweH7RB8Fqihs
   E=;
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>
 <cbd1c9fc-1d04-7713-7d92-6cc37015f7ed@amazon.de>
 <20180813175845.muweaoh6s5rxcr57@mwanda>
 <20180813183132.suxab5gfub5uig2k@mwanda>
From: Norbert Manthey <nmanthey@amazon.de>
Message-ID: <bbe9f3aa-1ec8-5004-1d4e-c29eb6868058@amazon.de>
Date: Tue, 14 Aug 2018 15:27:43 +0200
MIME-Version: 1.0
In-Reply-To: <20180813183132.suxab5gfub5uig2k@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

VGhhbmtzIGEgbG90ISBJIHVzZWQgeW91ciBzY3JpcHRzIGFuZCBjb21waWxlZCBYZW4gbm93LCBh
cyB3ZWxsIGFzCmNyZWF0ZWQgdGhlIGRhdGEgYmFzZSBmb3IgaXQuIEFzIEkgYW0gaW50ZXJlc3Rl
ZCBpbiBhbmFseXNpcyB0aGF0IGlzIHJ1bgpmb3IgdGhlIGtlcm5lbCwgSSBhbHNvIGFza2VkIHRo
ZSB0b29sIHRvIG5hbWUgdGhlIHByb2plY3QgImtlcm5lbCIsIGFzCnRoYXQgZW5hYmxlZCB0aGlz
IGFuYWx5c2lzIChlLmcuIHRoZSBzcGVjdHJlIGFuYWx5c2lzKS4KCkkgY2FsbGVkIHRoZSBidWls
ZF94ZW5fZGF0YS5zaCBzY3JpcHRzIG11bHRpcGxlIHRpbWVzIG9uIGFuIHVwc3RyZWFtIFhlbgpy
ZWxlYXNlIGJyYW5jaCwgYW5kIHRoZSBudW1iZXIgb2Ygd2FybmluZ3MgZGlkIG5vdCBpbmNyZWFz
ZSwgd2hpbGUgZm9yCnRoZSBMaW51eCBrZXJuZWwgdGhlIG51bWJlciBvZiB3YXJuaW5ncyB3b3Vs
ZCBpbmNyZWFzZSwgZS5nLiB3YXJuaW5ncwp0aGF0IGRlcGVuZCBvbiB0aGUgdGFpbnQgYW5hbHlz
aXMgbGlrZSB0aGUgc3BlY3RyZSBhbmFseXNpcy4gSXMgdGhhdApleHBlY3RlZCwgYW5kIGlzIHRo
ZXJlIGEgd2F5IHRvIGltcHJvdmUgdGhhdCBmb3IgWGVuPwoKQmVzdCwKTm9yYmVydAoKT24gMDgv
MTMvMjAxOCAwODozMSBQTSwgRGFuIENhcnBlbnRlciB3cm90ZToKPiBBaGguLi4gIE5ldmVyIG1p
bmQuICBNeSBtaXN0YWtlLiAgSXQgc2hvdWxkIGhhdmUganVzdCBiZWVuOgo+IAo+IAljYXQgU01B
VENIL3NtYXRjaC9yZXN1bHRzLyouYyA+IHNtYXRjaF93YXJucy50eHQKPiAKPiBUaGUgbmV4dCBw
cm9ibGVtIGlzIHRoYXQgSSBkb24ndCBzZWVtIHRvIGJlIHB1bGxpbmcgaW4gdGhlCj4gaW5jbHVk
ZS94ZW4vY29tcGlsZXIuaCBoZWFkZXIgZmlsZS4uLgo+IAo+IHJlZ2FyZHMsCj4gZGFuIGNhcnBl
bnRlcgo+IAo+IApBbWF6b24gRGV2ZWxvcG1lbnQgQ2VudGVyIEdlcm1hbnkgR21iSApCZXJsaW4g
LSBEcmVzZGVuIC0gQWFjaGVuCm1haW4gb2ZmaWNlOiBLcmF1c2Vuc3RyLiAzOCwgMTAxMTcgQmVy
bGluCkdlc2NoYWVmdHNmdWVocmVyOiBEci4gUmFsZiBIZXJicmljaCwgQ2hyaXN0aWFuIFNjaGxh
ZWdlcgpVc3QtSUQ6IERFMjg5MjM3ODc5CkVpbmdldHJhZ2VuIGFtIEFtdHNnZXJpY2h0IENoYXJs
b3R0ZW5idXJnIEhSQiAxNDkxNzMgQgo=