From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753105AbXCRHDL (ORCPT ); Sun, 18 Mar 2007 03:03:11 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1753108AbXCRHDL (ORCPT ); Sun, 18 Mar 2007 03:03:11 -0400 Received: from gw.goop.org ([64.81.55.164]:43657 "EHLO mail.goop.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753105AbXCRHDK (ORCPT ); Sun, 18 Mar 2007 03:03:10 -0400 Message-ID: <45FCE42E.1030107@goop.org> Date: Sun, 18 Mar 2007 00:03:10 -0700 From: Jeremy Fitzhardinge User-Agent: Thunderbird 1.5.0.10 (X11/20070302) MIME-Version: 1.0 To: Rusty Russell CC: Ingo Molnar , Zachary Amsden , xen-devel@lists.xensource.com, Ian Pratt , virtualization@lists.osdl.org, linux-kernel@vger.kernel.org, Adrian Bunk , Chris Wright , Andi Kleen , Andrew Morton , Thomas Gleixner , Christian Limpach Subject: Re: [Xen-devel] Re: [patch 20/26] Xen-paravirt_ops: Core Xen implementation References: <20070301232443.195603797@goop.org> <20070301232528.812011702@goop.org> <20070316091411.GF23174@elte.hu> <1174122827.8897.18.camel@localhost.localdomain> In-Reply-To: <1174122827.8897.18.camel@localhost.localdomain> Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Rusty Russell wrote: > On Fri, 2007-03-16 at 10:14 +0100, Ingo Molnar wrote: > >>> +unsigned long xen_pmd_val(pmd_t pmd) >>> +{ >>> + BUG(); >>> + return 0; >>> +} >>> >> make it noret. >> > > OK, I missed this one. How? > > Wondering if I've missed a trick here... No, I don't think its terribly useful to make it noret; noret is an interface annotation to let the caller know the function won't return. If I mark this noret, then the compiler will complain that it does appear to return. J