From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-3.6 required=3.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 0BED1C433E1 for ; Tue, 18 Aug 2020 07:29:01 +0000 (UTC) Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id C81242076E for ; Tue, 18 Aug 2020 07:29:00 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (1024-bit key) header.d=citrix.com header.i=@citrix.com header.b="g4loh6Ru" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org C81242076E Authentication-Results: mail.kernel.org; dmarc=fail (p=reject dis=none) header.from=citrix.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1k7w2h-000347-Qe; Tue, 18 Aug 2020 07:28:23 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1k7w2h-000342-4n for xen-devel@lists.xenproject.org; Tue, 18 Aug 2020 07:28:23 +0000 X-Inumbo-ID: fe177771-9ff1-475f-9215-2af75cdc2d9e Received: from esa1.hc3370-68.iphmx.com (unknown [216.71.145.142]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id fe177771-9ff1-475f-9215-2af75cdc2d9e; Tue, 18 Aug 2020 07:28:21 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1597735701; h=from:to:cc:subject:date:message-id:references: in-reply-to:content-id:content-transfer-encoding: mime-version; bh=TRx1dfPB+QSkAXi67BSO4blis1i3SlIqfdZLBHboldc=; b=g4loh6RuoOCvNphmAgUNpF45htp4XQAXONeJhYWysQNFtIScEZMtvbAp 0B6sRRQ7Cm0HP9DPQxCkQG8n8OE0Evu4d8foSChK0A4aenCt4ZfxRi6pz XXHr5s6mVeVTTPRZQrLdfa/zndE9xUObm0yGjbrMPWuMtBw7pKxVXTDug Y=; Authentication-Results: esa1.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none IronPort-SDR: +Sp4U2FRuovTkPtBuRGFYHD0FnmAiNas+VaJhVSRk5Fjwu/YyScDfhYNZKsLSaOw4QN+j+MzHh /c4DY91SzMyoHBc0ef5W1sH8I/bU94xqGkjgb0ZUE1c3yR1gTCEh8prYt5qPUHVwAr1cap8Ejx 7i00GiIRmgWRfUY+03TFKq59JRZ9LGopKHqA13pRJPet8esN1TSAN/iKM25yDv8EfpGPZj/B6o g145SATX9s9RM0q8xJZssAVS4REWv0nC91elOvst0cwr25FAT/qcJpA8cHEN7KHbQI6lbnfMuR h9U= X-SBRS: 2.7 X-MesageID: 25080370 X-Ironport-Server: esa1.hc3370-68.iphmx.com X-Remote-IP: 162.221.158.21 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.76,326,1592884800"; d="scan'208";a="25080370" From: Edwin Torok To: Christian Lindig , "xen-devel@lists.xenproject.org" CC: Ian Jackson , "dave@recoil.org" , "wl@xen.org" Subject: Re: [PATCH v1 0/6] tools/ocaml/xenstored: simplify code Thread-Topic: [PATCH v1 0/6] tools/ocaml/xenstored: simplify code Thread-Index: AQHWcof9A1jzs+tlWE2C9n9b/FTKaqk8JPMAgAE2tIA= Date: Tue, 18 Aug 2020 07:28:10 +0000 Message-ID: References: <1597668966374.91968@citrix.com> In-Reply-To: <1597668966374.91968@citrix.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-ms-exchange-transport-fromentityheader: Hosted Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" T24gTW9uLCAyMDIwLTA4LTE3IGF0IDE0OjU2ICswMjAwLCBDaHJpc3RpYW4gTGluZGlnIHdyb3Rl Og0KPiBUaGlzIGFsbCBsb29rcyBnb29kIC0gSSBsZWZ0IGEgc21hbGwgY29tbWVudCBvbiBvbmUg b2YgdGhlIHBhdGNoZXMNCj4gYW5kIEkgYWdyZWUgdGhhdCB0aGlzIG5lZWRzIHRlc3RpbmcuIEkg YWxzbyB3b25kZXIgYWJvdXQNCj4gY29tcGF0aWJpbGl0eSB3aXRoIGVhcmxpZXIgT0NhbWwgcmVs ZWFzZXMgdGhhdCB3ZSBzdXBwb3J0IGJ1dCBJIHNlZQ0KPiBubyByZWFsIG9ic3RhY2xlcy4NCj4g DQoNCkkndmUgZGV2ZWxvcGVkIHRoZSBzZXJpZXMgdXNpbmcgT0NhbWwgNC4wOC4xLiBJIHRoaW5r IHRoZSBuZXdlc3QNCmZlYXR1cmUgSSB1c2VkIHdhcyBNYXAudXBkYXRlIChPQ2FtbCA0LjA2LCBu ZWFybHkgMyB5ZWFycyBhZ28pLg0KTG9va2luZyB0aHJvdWdoIGh0dHBzOi8vcmVwb2xvZ3kub3Jn L3Byb2plY3Qvb2NhbWwvdmVyc2lvbnMgSSdtIG5vdA0Kc3VyZSBpZiB3ZSBjYW4gcmVxdWlyZSBt b3JlIHRoYW4gNC4wNSB0aG91Z2guDQpUaGUgUkVBRE1FIGluIFhlbiBkb2Vzbid0IHNwZWNpZnkg YSBtaW5pbXVtIHZlcnNpb24sIGJ1dCBjb25maWd1cmUNCmNoZWNrcyBmb3IgPj00LjAyLg0KDQpJ IGNhbiB0cnkgdG8gYmFja3BvcnQgbXkgc2VyaWVzIHRvIE9DYW1sIDQuMDUgKHRvIHVzZSBNYXAu ZmluZF9vcHQNCmluc3RlYWQgb2YgTWFwLnVwZGF0ZSkgYW5kIHVwZGF0ZSB0aGUgY29uZmlndXJl IGNoZWNrIHRvIHJlcXVpcmUgNC4wNS4NCkl0IHdvdWxkIGJlIHBvc3NpYmxlIHRvIGJhY2twb3J0 IGV2ZW4gZnVydGhlciB0byA0LjAyIGJ5IGludHJvZHVjaW5nDQphZGRpdGlvbmFsIGluZWZmaWNp ZW5jaWVzIChNYXAubWVtICsgTWFwLmZpbmQgd291bGQgdHJhdmVyc2UgdGhlIG1hcA0KdHdpY2Us IGFuZCBNYXAuZmluZCBvbiBpdHMgb3duIHdvdWxkIHJhaXNlIGFuIGV4Y2VwdGlvbiBvbiBOb3Qg Zm91bmQsDQp3aGljaCBpcyBtb3JlIGNvc3RseSB0aGFuIHJldHVybmluZyBOb25lIGluIE1hcC5m aW5kX29wdCksIEknZCBhdm9pZA0KZG9pbmcgdGhhdC4NCg0KWGVuJ3MgQ0kgZnJvbSBhdXRvbWF0 aW9uIG1pZ2h0IG5lZWQgc29tZSB1cGRhdGVzIHRvIHVzZSBsYXRlc3Qgc3RhYmxlDQp2ZXJzaW9u czoNCiogRmVkb3JhIDI5IGlzIEVPTCwgc2hvdWxkIHVzZSBhdCBsZWFzdCBGZWRvcmEgMzENCiog RGViaWFuIEplc3NpZSBpcyBFT0wuIFN0cmV0Y2ggaXMgcHJlc2VudCwgYnV0IEJ1c3RlciBpcyBt aXNzaW5nDQoNCkJlc3QgcmVnYXJkcywNCi0tRWR3aW4NCg==