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.3 required=3.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SIGNED_OFF_BY,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 A6D60C352A3 for ; Sat, 15 Feb 2020 21:13:56 +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 707EA2086A for ; Sat, 15 Feb 2020 21:13:56 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="ZJo4dbZ9" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 707EA2086A Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=gmail.com Authentication-Results: mail.kernel.org; spf=none 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.89) (envelope-from ) id 1j34kn-0001Bu-RQ; Sat, 15 Feb 2020 21:13:33 +0000 Received: from us1-rack-iad1.inumbo.com ([172.99.69.81]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1j34km-0001Bp-GG for xen-devel@lists.xenproject.org; Sat, 15 Feb 2020 21:13:32 +0000 X-Inumbo-ID: 04740a40-5038-11ea-ade5-bc764e2007e4 Received: from mail-wm1-x344.google.com (unknown [2a00:1450:4864:20::344]) by us1-rack-iad1.inumbo.com (Halon) with ESMTPS id 04740a40-5038-11ea-ade5-bc764e2007e4; Sat, 15 Feb 2020 21:13:31 +0000 (UTC) Received: by mail-wm1-x344.google.com with SMTP id p17so14515942wma.1 for ; Sat, 15 Feb 2020 13:13:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:date:to:cc:subject:in-reply-to:message-id:references :mime-version; bh=eQWTXpjUDuUW0wmVjEqb5kR2EtspQyyxoUZ3RX5b6yc=; b=ZJo4dbZ99IAg/Off3zIJPKiTRvf+JLpHpOpQRge2U8thVSS9RjWFukQNLQ1dx4bOQd bp8O6Gba5nu03ZmBiVNZsH9YZKEfJOZ4RRPKJXVrUI6YuiiAbonBXb3uqvupv36ehNSQ DDw+4qZnP6uDzqf2YjXDkk44RKjqkDK3TbE+Gq8lJnDRIGFPIRnXhr4hJSHJsFXNWe78 cInZB9mkAJJRf1yneWx0oKYkVllZyKUCNuniiDYD3cb7wdZhYz11iSxIGvEaK7PcdjDD 8+M0r4m4SC7AZdoqLqCRSOPFfaKDXbjdZLHBrDaP1atZAkH1MYGnuVre1WEL09KGPMDz KZ4Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:cc:subject:in-reply-to:message-id :references:mime-version; bh=eQWTXpjUDuUW0wmVjEqb5kR2EtspQyyxoUZ3RX5b6yc=; b=LqWF//+jwYuyK2zRyi9JUdjp2HCs9BFlND84TxWcGqCb9MDnagdAAqVleDoGzimpJW 39orKAVtJkBhvMutvjolR1psMtD0eQA2vzua+LqV3nvn2iIf9J8pbKPsAjy5o2Y4fHfv oljMBWWu+QGDF2hEmnLHKU841jnfJA9RnIJ9Ywde9OhzHccQTRbycw0OwZdoBQv2onl/ U3IVfhmJdMRuFQUzllPx89Xvg/4M4Jx0tEfUQG3wOCGSVl00OI4Fo8MeXAZLv+8e4Eph 6ExvX5AYrYvjLiUkP0E+HHvXC4nH4ioIkVUMWdb/lZ81niCcqXKvU0mdxi0cRWIGRhJ5 uUrQ== X-Gm-Message-State: APjAAAUVxdP/sxIiyN9r5xoylEYru58Y5kviyX6+eIRNXrdTi/dmqHsb WrZngoxlqhu7aQixh9WIgQ== X-Google-Smtp-Source: APXvYqxm4PPfWmXjjVQmNfjd+0mqu1Kn9niQOa1Z/8jvjYj69Hfz7b7axgKDdFZ+ExJeELaRhmXLCA== X-Received: by 2002:a1c:ddd6:: with SMTP id u205mr12831995wmg.151.1581801210697; Sat, 15 Feb 2020 13:13:30 -0800 (PST) Received: from ninjahub.lan (host-2-102-13-223.as13285.net. [2.102.13.223]) by smtp.gmail.com with ESMTPSA id n1sm12846151wrw.52.2020.02.15.13.13.29 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 15 Feb 2020 13:13:30 -0800 (PST) From: Jules Irenge X-Google-Original-From: Jules Irenge Date: Sat, 15 Feb 2020 21:13:12 +0000 (GMT) To: Boris Ostrovsky In-Reply-To: Message-ID: References: <0/30> <20200214204741.94112-1-jbi.octave@gmail.com> <20200214204741.94112-15-jbi.octave@gmail.com> MIME-Version: 1.0 Subject: Re: [Xen-devel] [PATCH 14/30] x86/xen: Add missing annotation for xen_pte_lock() X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Juergen Gross , Jules Irenge , Stefano Stabellini , boqun.feng@gmail.com, "maintainer:X86 ARCHITECTURE 32-BIT AND 64-BIT" , linux-kernel@vger.kernel.org, Ingo Molnar , Borislav Petkov , "H. Peter Anvin" , "moderated list:XEN HYPERVISOR INTERFACE" , Thomas Gleixner Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" VGhhbmtzIGZvciB0aGUgZmVlZGJhY2suIEkgd2lsbCBzZW5kIHRoZSBtZXJnZWQgdmVyc2lvbiB0 aGVuIGlmIGl0IHMgZmluZSAKd2l0aCB5b3UuClJlZ2FyZHMsCkp1bGVzCgpPbiBGcmksIDE0IEZl YiAyMDIwLCBCb3JpcyBPc3Ryb3Zza3kgd3JvdGU6Cgo+IAo+IAo+IE9uIDIvMTQvMjAgMzo0NyBQ TSwgSnVsZXMgSXJlbmdlIHdyb3RlOgo+ID4gU3BhcnNlIHJlcG9ydHMgd2FybmluZyBhdCB4ZW5f cHRlX2xvY2soKQo+ID4KPiA+IHdhcm5pbmc6IGNvbnRleHQgaW1iYWxhbmNlIGluIHhlbl9wdGVf bG9jaygpIC0gd3JvbmcgY291bnQgYXQgZXhpdAo+ID4KPiA+IFRoZSByb290IGNhdXNlIGlzIHRo ZSBtaXNzaW5nIGFubm90YXRpb24gYXQgeGVuX3B0ZV9sb2NrKCkKPiA+IEFkZCB0aGUgbWlzc2lu ZyBfX2FjcXVpcmVzKHB0bCkgYW5ub3RhdGlvbgo+ID4KPiA+IFNpZ25lZC1vZmYtYnk6IEp1bGVz IElyZW5nZSA8amJpLm9jdGF2ZUBnbWFpbC5jb20+Cj4gCj4gUmV2aWV3ZWQtYnk6IEJvcmlzIE9z dHJvdnNreSA8Ym9yaXMub3N0cm92c2t5QG9yYWNsZS5jb20+Cj4gCj4gYWx0aG91Z2ggSSdkIHBy ZWZlciB0aGlzIGFuZCB0aGUgbmV4dCBwYXRjaCB0byBiZSBtZXJnZWQgaW50byBhIHNpbmdsZSBv bmUuCj4gCj4gCj4gCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9y ZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8veGVuLWRldmVs